2272 search results - page 328 / 455 » Validity Invariants and Effects |
163
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...
176
click to vote
SIGMETRICS
1992
ACM
15 years 8 months ago
1992
ACM
The CLOCK algorithm is a popular buffer replacement algorithm becauseof its simplicity and its ability to approximate the performance of the Least Recently Used (LRU) replacement ...
127
click to vote
CF
2007
ACM
15 years 8 months ago
2007
ACM
MppSoC is a SIMD architecture composed of a grid of processors and memories connected by a X-Net neighbourhood network and a general purpose global router. MppSoC is an evolution ...
150
click to vote
EDOC
2007
IEEE
15 years 8 months ago
2007
IEEE
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...
141
click to vote
PERCOM
2010
ACM
15 years 8 months ago
2010
ACM
—WiFi localization and tracking of indoor moving objects is an important problem in many contexts of ubiquitous buildings, first responder environments, and others. Previous app...