4323 search results - page 698 / 865 » Callback Implementations in C |
122
click to vote
VLSID
2005
IEEE
16 years 4 months ago
2005
IEEE
Modern digital circuits consist of logic gates implemented in the complementary metal oxide semiconductor (CMOS) technology. The time taken for a logic gate output to change after...
144
Voted
HPCA
2002
IEEE
16 years 4 months ago
2002
IEEE
Clusters of high-end workstations and PCs are currently used in many application domains to perform large-scale computations or as scalable servers for I/O bound tasks. Although c...
152
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
214
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
Modern scientific applications consume massive volumes of data produced by computer simulations. Such applications require new data management capabilities in order to scale to te...
148
click to vote
MOBISYS
2008
ACM
16 years 3 months ago
2008
ACM
Over the course of a day a human interacts with tens or hundreds of individual objects. Many of these articles are nomadic, relying on human memory to manually index, inventory, o...