2530 search results - page 199 / 506 » Dynamic topological logic |
116
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
149
click to vote
FPGA
2007
ACM
15 years 10 months ago
2007
ACM
Power consumption in field programmable gate arrays (FPGAs) has become an important issue as the FPGA market has grown to include mobile platforms. In this work we present a power...
121
click to vote
GLVLSI
2006
IEEE
15 years 10 months ago
2006
IEEE
A new circuit technique based on a single PMOS sleep transistor and a dual threshold voltage CMOS technology is proposed in this paper for simultaneously reducing subthreshold and...
157
click to vote
ISCC
2006
IEEE
15 years 10 months ago
2006
IEEE
Network resource management and control is a complex problem that requires robust, possibly intelligent, control methodologies to obtain satisfactory performance. While many Activ...
131
click to vote
AGI
2008
15 years 5 months ago
2008
Inhabiting the complex and dynamic environments of modern computer games with autonomous agents capable of intelligent timely behaviour is a significant research challenge. We illu...