3911 search results - page 175 / 783 » Using Operational Architecture to Model Embedded Software |
183
Voted
CODES
2006
IEEE
16 years 13 days ago
2006
IEEE
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
204
click to vote
RTAS
2008
IEEE
16 years 23 days ago
2008
IEEE
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...
167
click to vote
SAC
2005
ACM
15 years 12 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
175
Voted
CCS
2008
ACM
15 years 8 months ago
2008
ACM
In extraordinary situations, certain individuals may require access to information for which they are not normally authorized. For example, to facilitate rescue of people trapped ...
184
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
Among the many techniques for system-level power management, it is not currently possible to guarantee timing constraints and have a comprehensive system model at the same time. S...