3831 search results - page 700 / 767 » Dynamic Context Logic |
104
click to vote
VLSID
2009
IEEE
16 years 1 months ago
2009
IEEE
: The challenges in nano-CMOS circuit design include the following: variability, leakage, power, thermals, reliability, and yield. This talk will focus on interdependent considerat...
105
Voted
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
211
click to vote
POPL
2003
ACM
16 years 27 days ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
120
click to vote
CADE
2004
Springer
16 years 27 days ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
110
click to vote
PODS
2004
ACM
16 years 21 days ago
2004
ACM
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...