Sciweavers

601 search results - page 55 / 121
» Quantified Equality Constraints
Sort
View
ISCA
2005
IEEE
81views Hardware» more  ISCA 2005»
14 years 2 months ago
The Impact of Performance Asymmetry in Emerging Multicore Architectures
Performance asymmetry in multicore architectures arises when individual cores have different performance. Building such multicore processors is desirable because many simple cores...
Saisanthosh Balakrishnan, Ravi Rajwar, Michael Upt...
SBCCI
2003
ACM
160views VLSI» more  SBCCI 2003»
14 years 2 months ago
Novel Design Methodology for High-Performance XOR-XNOR Circuit Design
As we scale down to deep submicron (DSM) technology, noise is becoming a metric of equal importance as power, speed, and area. Smaller feature sizes, low voltage, and high frequen...
Sumeer Goel, Mohamed A. Elgamel, Magdy A. Bayoumi
CHI
2000
ACM
14 years 1 months ago
Measuring the allocation of control in a 6 degree-of-freedom docking experiment
Coordination definitions and metrics are reviewed from the motor control, biomedical, and human factors literature. This paper presents an alternative measurement called the M-met...
Maurice R. Masliah, Paul Milgram
GCB
2006
Springer
136views Biometrics» more  GCB 2006»
14 years 17 days ago
Ab Initio Prediction of Molecular Fragments from Tandem Mass Spectrometry Data
: Mass spectrometry is one of the key enabling measurement technologies for systems biology, due to its ability to quantify molecules in small concentrations. Tandem mass spectrome...
Markus Heinonen, Ari Rantanen, Taneli Mielikä...
ICLP
1991
Springer
14 years 13 days ago
{log}: A Logic Programming Language with Finite Sets
An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operati...
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontell...