3387 search results - page 466 / 678 » Model-Checking for Real-Time Systems |
198
click to vote
JTRES
2009
ACM
16 years 11 days ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
244
click to vote
VISUALIZATION
2000
IEEE
16 years 2 days ago
2000
IEEE
Virtual endoscopy presents the cross-sectional acquired 3D-data of a computer tomograph as an endoluminal view. The common approach for the visualization of a virtual endoscopy is...
185
click to vote
SWARM
2008
SPRINGER
15 years 7 months ago
2008
SPRINGER
Abstract Stage is a C++ software library that simulates multiple mobile robots. Stage version 2, as the simulation backend for the Player/Stage system, may be the most commonly use...
195
click to vote
COR
2004
15 years 7 months ago
2004
We analyze a multi-server priority queueing system with partial buffer sharing, where the input is a discrete autoregressive process of order 1 (DAR(1)) which is known as a good m...
235
click to vote
RTAS
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper provides four contributions to the study of optimization techniques for component-based distributed realtime and embedded (DRE) systems. First, we describe key challeng...