2343 search results - page 395 / 469 » Structure and Interpretation of Computer Programs |
129
click to vote
DAC
2010
ACM
15 years 5 months ago
2010
ACM
Vectorless power grid verification makes it possible to evaluate worst-case voltage drops without enumerating possible current waveforms. Under linear current constraints, the vec...
139
click to vote
CAD
2006
Springer
15 years 4 months ago
2006
Springer
Seamless integration of digital parts libraries or electronic parts catalogs for e-procurement is impeded by semantic heterogeneity. The utilization of ontologies as metadata desc...
149
click to vote
BICOB
2010
Springer
15 years 2 months ago
2010
Springer
Fold recognition is a key problem in computational biology that involves classifying protein sharing structural similarities into classes commonly known as "folds". Rece...
130
click to vote
CLOUDCOM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--Commercial services for provisioning software components and virtual infrastructure in the cloud are emerging. For customers, this creates a multitude of possibilities fo...
134
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Clusters of Symmetric MultiProcessing (SMP) nodes with multi-core Chip-Multiprocessors (CMP), also known as SMP-CMP clusters, are becoming ubiquitous today. For Message Passing int...