616 search results - page 78 / 124 » Component-Based Design of Embedded Software: An Analysis of ... |
172
Voted
AOSD
2011
ACM
14 years 10 months ago
2011
ACM
The domain of operating systems has often been mentioned as an “ideal candidate” for the application of AOP; fundamental policies we find in these systems, such as synchroniz...
117
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
123
Voted
STTT
1998
15 years 3 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
142
Voted
LCTRTS
2005
Springer
15 years 9 months ago
2005
Springer
Performance guarantees can be given to tasks in an embedded system by ensuring that access to each shared resource is mediated by an appropriate scheduler. However, almost all pre...
104
Voted
JCM
2007
15 years 3 months ago
2007
—In this paper, we propose a wireless stand-alone, embedded system design that integrates the monitoring of three biomedical parameters into a single personal medical device. The...