1941 search results - page 286 / 389 » Reasoning about Computations Using Two-Levels of Logic |
131
click to vote
FECS
2006
15 years 5 months ago
2006
- "They're kinetic, maddening, and failing at school." These words were used in a recent issue of Newsweek to describe the state of boys in school and the debated to...
156
Voted
PPAM
2007
Springer
15 years 9 months ago
2007
Springer
For about ten years now, Bo K˚agstr¨om’s Group in Umea, Sweden, Jerzy Wa´sniewski’s Team at Danish Technical University in Lyngby, Denmark, and I at IBM Research in Yorktown...
DAC
1996
ACM
15 years 7 months ago
1996
ACM
Iterative-improvement 2-way min-cut partitioning is an important phase in most circuit partitioning tools. Most iterative improvement techniques for circuit netlists like the Fidd...
122
Voted
CAD
2004
Springer
15 years 3 months ago
2004
Springer
We present a system, ESOLID, that performs exact boundary evaluation of low-degree curved solids in reasonable amounts of time. ESOLID performs accurate Boolean operations using e...
104
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Context scenarios are widely used for assessing the robustness of strategies and policies in both the private and the public sector. Royal Dutch Shell, for instance, has become re...