816 search results - page 152 / 164 » Automating Verification by Functional Abstraction at the Sys... |
IEEEMM
2002
13 years 8 months ago
2002
an abstract model for information sharing and integration and use it to develop an architecture for building open, component-based, interoperable systems. A geographic information ...
PLDI
2009
ACM
14 years 9 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
SACMAT
2005
ACM
14 years 2 months ago
2005
ACM
As a major component of any host, or network operating system, access control mechanisms come in a wide variety of forms, each with their individual attributes, functions, methods...
WORDS
2005
IEEE
14 years 2 months ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. This paper investi...
VLSID
2007
IEEE
14 years 9 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...