9110 search results - page 478 / 1822 » Formally-Based Design Evaluation |
200
click to vote
IEEEPACT
2007
IEEE
16 years 1 months ago
2007
IEEE
Nowadays, multithreaded architectures are becoming more and more popular. In order to evaluate their behavior, several methodologies and metrics have been proposed. A methodology ...
179
click to vote
CCR
2004
15 years 6 months ago
2004
Wireless links have intrinsic characteristics that affect the performance of transport protocols; these include variable bandwidth, corruption, channel allocation delays, and asym...
179
click to vote
MICRO
2010
IEEE
15 years 4 months ago
2010
IEEE
Soft error reliability is increasingly becoming a first-order design concern for microprocessors, as a result of higher transistor counts, shrinking device geometries and lowering ...
196
click to vote
CSCL
2006
15 years 6 months ago
2006
Future CSCL technologies are described by the community as flexible, tailorable, negotiable, and appropriate for various collaborative settings, conditions and contexts. This paper...
191
Voted
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
Resource location (or discovery) is a fundamental service for resource-sharing environments: given desired resource attributes, the service returns locations of matching resources....