1617 search results - page 304 / 324 » Modeling and evaluation of hardware software designs |
MIDDLEWARE
2004
Springer
14 years 22 days ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
CPHYSICS
2007
13 years 7 months ago
2007
In parallel to the ITER project itself, many initiatives address complementary technological issues relevant to a fusion reactor, as well as many remaining scientific issues. One...
BMCBI
2006
13 years 7 months ago
2006
Background: In the post-genome era, most research scientists working in the field of proteomics are confronted with difficulties in management of large volumes of data, which they...
AINA
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract — Governing business compliance with regulations, laws, best practices, contracts, and the like is not an easy task, and so far there are only limited software products ...
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...