1776 search results - page 211 / 356 » A Visual Modeling Environment for Embedded Component Systems |
TPHOL
1999
IEEE
14 years 11 days ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
DSN
2002
IEEE
14 years 1 months ago
2002
IEEE
Traditional problem determination techniques rely on static dependency models that are difficult to generate accurately in today’s large, distributed, and dynamic application e...
BIBE
2004
IEEE
13 years 12 months ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
AOSE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...
BMCBI
2007
13 years 8 months ago
2007
Background: Three dimensional biomedical image sets are becoming ubiquitous, along with the canonical atlases providing the necessary spatial context for analysis. To make full us...