1304 search results - page 180 / 261 » RTOS Modeling for System Level Design |
107
click to vote
VSTTE
2005
Springer
15 years 8 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...
124
click to vote
PERCOM
2004
ACM
16 years 2 months ago
2004
ACM
The use of context as an input is one of the major characteristics of Ubiquitous Computing systems. This paper looks into the structural and the systematic features of context in ...
139
click to vote
CODES
1999
IEEE
15 years 7 months ago
1999
IEEE
raction levels of communication models to allow designers to trade off between performance and accuracy. Contrary to [2][3], we present an optimization method which preserves the a...
107
click to vote
GG
2008
Springer
15 years 4 months ago
2008
Springer
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...
143
click to vote
VIS
2004
IEEE
16 years 4 months ago
2004
IEEE
Grid computing provides a challenge for visualization system designers. In this research, we evolve the dataflow concept to allow parts of the visualization process to be executed...