322 search results - page 46 / 65 » Testing Deadlock-Freeness in Real-Time Systems: A Formal App... |
162
click to vote
ISCA
2011
IEEE
14 years 5 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
135
click to vote
AGTIVE
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
110
click to vote
ICPPW
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper presents a methodology for aiding a scientific programmer to evaluate the performance of parallel programs on advanced architectures. It applies well-defined design o...
128
click to vote
TCBB
2008
15 years 1 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
130
click to vote
AAI
2006
15 years 2 months ago
2006
Enabling and managing coordination activities between autonomous, possibly mobile, computing entities in dynamic computing scenarios challenges traditional approaches to distribut...