2293 search results - page 421 / 459 » Temporal Logic in Information Systems |
HPCA
2005
IEEE
15 years 10 months ago
2005
IEEE
The issue logic of a superscalar processor dissipates a large amount of static and dynamic power. Furthermore, its power density makes it a hot-spot requiring expensive cooling sy...
156
click to vote
VLDB
2004
ACM
15 years 10 months ago
2004
ACM
With the recent and continuing advances in areas such as wireless communications and positioning technologies, mobile, locationbased services are becoming possible. Such services ...
ICCD
2004
IEEE
15 years 6 months ago
2004
IEEE
As the performance gap between processors and memory systems increases, the CPU spends more time stalled waiting for data from main memory. Critical long latency instructions, suc...
WECWIS
2009
IEEE
15 years 4 months ago
2009
IEEE
—People, companies, and public authorities can now have a strong on-line presence and a huge amount of interactions on the Internet, made possible by the impressive growth of the...
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...