Sciweavers

1982 search results - page 246 / 397
» New Products
Sort
View
MICRO
2008
IEEE
92views Hardware» more  MICRO 2008»
16 years 1 months ago
Online design bug detection: RTL analysis, flexible mechanisms, and evaluation
Higher level of resource integration and the addition of new features in modern multi-processors put a significant pressure on their verification. Although a large amount of res...
Kypros Constantinides, Onur Mutlu, Todd M. Austin
HICSS
2007
IEEE
103views Biometrics» more  HICSS 2007»
16 years 29 days ago
Colombia Firm Energy Market
A firm energy market for Colombia is presented. Firm energy—the ability to provide energy in a dry period—is the product needed for reliability in Colombia’s hydrodominated ...
Peter Cramton, Steven Stoft
COCO
2007
Springer
85views Algorithms» more  COCO 2007»
16 years 24 days ago
Norms, XOR Lemmas, and Lower Bounds for GF(2) Polynomials and Multiparty Protocols
This paper presents a unified and simple treatment of basic questions concerning two computational models: multiparty communication complexity and GF(2) polynomials. The key is t...
Emanuele Viola, Avi Wigderson
GRID
2007
Springer
16 years 23 days ago
CIC portal: a collaborative and scalable integration platform for high availability grid operations
— EGEE, along with its sister project LCG, manages the world’s largest Grid production infrastructure which is spreading nowadays over 260 sites in more than 40 countries. Just...
Osman Aidel, Alessandro Cavalli, Hélè...
JSSPP
2007
Springer
16 years 23 days ago
QBETS: Queue Bounds Estimation from Time Series
Most space-sharing parallel computers presently operated by high-performance computing centers use batch-queuing systems to manage processor allocation. Because these machines are...
Daniel Nurmi, John Brevik, Richard Wolski