3515 search results - page 593 / 703 » On the semantics of Strategy Logic |
272
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
We present a method to evaluate path queries based on the novel concept of partial path instances. Our method (1) maximizes performance by means of sequential scans or asynchronou...
176
click to vote
ICCD
2007
IEEE
16 years 4 months ago
2007
IEEE
Building fully synchronous VLSI circuits is becoming less viable as circuit geometries evolve. However, before the adoption of purely asynchronous strategies in VLSI design, globa...
164
click to vote
ICCAD
2008
IEEE
16 years 4 months ago
2008
IEEE
—To overcome the energy-efficiency limitations imposed by finite sub-threshold slope in CMOS transistors, this paper explores the design of integrated circuits based on nanoelect...
177
click to vote
ICCAD
2006
IEEE
16 years 4 months ago
2006
IEEE
— Negative Bias Temperature Instability (NBTI) in PMOS transistors has become a significant reliability concern in present day digital circuit design. With continued scaling, th...
219
click to vote
SI3D
2010
ACM
16 years 2 months ago
2010
ACM
Obscurance and Ambient Occlusion (AO) are popular techniques in both film and games that model how ambient light is shadowed. While it is largely a solved problem for static scen...