883 search results - page 72 / 177 » The Semantics of Verilog Using Transition System Combinators |
121
click to vote
PERCOM
2006
ACM
16 years 4 months ago
2006
ACM
A pervasive system features a plethora of devices, services and applications organized as a large distributed system. One approach to managing such systems is by policies where ad...
140
click to vote
IRI
2008
IEEE
15 years 10 months ago
2008
IEEE
Specific information on biomolecular events such as protein-protein and gene-protein interactions is essential for molecular biology researchers. However, the results derived by c...
137
click to vote
SIMVIS
2004
15 years 5 months ago
2004
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
143
click to vote
DAIS
2008
15 years 5 months ago
2008
Object-oriented technologies are frequently used to design and implement distributed applications. Object replication is a well-established approach to increase the dependability f...
128
click to vote
WSC
2004
15 years 5 months ago
2004
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...