11603 search results - page 262 / 2321 » Embedded System Security |
160
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
161
click to vote
CODES
1997
IEEE
15 years 10 months ago
1997
IEEE
The Pia hardware-software co-simulator provides substantial speedups over traditional co-simulation methods by permitting dynamic changes in the level of detail when simulating co...
153
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
Task scheduling forreactive real time systems is a di cult problem due to tight constraints that the schedule must satisfy. A static priority scheme is proposed here that can be f...
181
click to vote
ICWN
2004
15 years 8 months ago
2004
This paper presents a Java service platform and hardware design for a handheld healthcare system that enables remote health monitoring using CDMA public wireless networks. Special...
174
click to vote
FORTE
1998
15 years 8 months ago
1998
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...