1458 search results - page 275 / 292 » The sequentially realizable functionals |
129
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...
154
Voted
POPL
2010
ACM
16 years 5 hour ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
133
click to vote
ICS
2010
Tsinghua U.
16 years 25 min ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
122
Voted
ICCAD
2006
IEEE
15 years 11 months ago
2006
IEEE
Parametric yield loss due to variability can be effectively reduced by both design-time optimization strategies and by adjusting circuit parameters to the realizations of variable...
111
click to vote
EDBT
2009
ACM
15 years 9 months ago
2009
ACM
Annotations play a key role in understanding and curating databases. Annotations may represent comments, descriptions, lineage information, among several others. Annotation manage...