70 search results - page 4 / 14 » Object Nets for the Design and Verification of Distributed a... |
FPGA
2004
ACM
13 years 10 months ago
2004
ACM
This paper shows a method to verifying the thermal status of complex FPGA-based circuits like microprocessors. Thus, the designer can evaluate if a particular block is working bey...
SENSYS
2004
ACM
13 years 10 months ago
2004
ACM
The enormous potential for wireless sensor networks to make a positive impact on our society has spawned a great deal of research on the topic, and this research is now producing ...
BMCBI
2005
13 years 4 months ago
2005
Background: Graph theory provides a computational framework for modeling a variety of datasets including those emerging from genomics, proteomics, and chemical genetics. Networks ...
IEE
2007
13 years 4 months ago
2007
: The memory management of distributed objects, when done manually, is an error-prone task. It leads to memory leaks and dangling references, causing applications to fail. Avoiding...
JSI
1998
13 years 4 months ago
1998
Abstract. Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object...