Sciweavers

854 search results - page 75 / 171
» Timing coverification of concurrent embedded real-time syste...
Sort
View
IPPS
1998
IEEE
15 years 10 months ago
Design of a FEM Computation Engine for Real-Time Laparoscopic Surgery Simulation
We present the design of a computation engine for a real-time laparoscopic surgery simulator. Since this simulator requires realistic real-time and real-world behaviour, a physica...
Alex Rhomberg, Rolf Enzler, Markus Thaler, Gerhard...
RTAS
2006
IEEE
16 years 8 days ago
A Semantic Unit for Timed Automata Based Modeling Languages
Kai Chen 0003, Janos Sztipanovits, Sherif Abdelwah...
RTAS
2005
IEEE
15 years 12 months ago
Towards Efficient Use of Shared Communication Media in the Timed Model
Guido Menkhaus, Michael Holzmann, Sebastian Fischm...
ECRTS
2007
IEEE
16 years 18 days ago
On Dominating Set Allocation Policies in Real-Time Wide-Area Distributed Systems
This paper investigates resource allocation policies for achieving real-time content distribution with subsecond delay bounds on the current Internet. Resource allocation in real-...
Chengdu Huang, Tarek F. Abdelzaher, Xue Liu
ICDCSW
2008
IEEE
16 years 21 days ago
Real-Time Data Services for Cyber Physical Systems
Cyber Physical Systems (CPSs) have grand visions with great socio-economic impacts such as blackout-free electricity supply and real-time disaster recovery. A key challenge is pro...
Kyoung-Don Kang, Sang Hyuk Son