Sciweavers

854 search results - page 75 / 171
» Timing coverification of concurrent embedded real-time syste...
Sort
View
IPPS
1998
IEEE
15 years 11 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 22 days ago
A Semantic Unit for Timed Automata Based Modeling Languages
Kai Chen 0003, Janos Sztipanovits, Sherif Abdelwah...
RTAS
2005
IEEE
16 years 9 days ago
Towards Efficient Use of Shared Communication Media in the Timed Model
Guido Menkhaus, Michael Holzmann, Sebastian Fischm...
ECRTS
2007
IEEE
16 years 1 months 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 1 months 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