3387 search results - page 466 / 678 » Model-Checking for Real-Time Systems |
166
click to vote
JTRES
2009
ACM
15 years 11 months 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...
195
click to vote
VISUALIZATION
2000
IEEE
15 years 10 months 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...
148
Voted
SWARM
2008
SPRINGER
15 years 6 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...
160
click to vote
COR
2004
15 years 6 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...
192
Voted
RTAS
2008
IEEE
16 years 20 days 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...