3168 search results - page 282 / 634 » Computing Event Dependencies in System Designs and Programs |
174
click to vote
ITICSE
2010
ACM
15 years 6 months ago
2010
ACM
Teaching wireless sensor networks (WSNs) at the undergraduate level is both challenging and rewarding. WSNs include low-level programming and debugging, power-aware operations, no...
168
click to vote
LCTRTS
2007
Springer
16 years 22 days ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
168
click to vote
EDOC
2007
IEEE
16 years 28 days ago
2007
IEEE
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...
224
click to vote
DIGRA
2005
Springer
16 years 4 days ago
2005
Springer
Building on the work of games theorists and virtual world designers, this paper proposes a framework for understanding the real-virtual dichotomy in terms of a series of five fram...
197
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...