7195 search results - page 1159 / 1439 » On Computing Power |
197
click to vote
ISQED
2007
IEEE
16 years 29 days ago
2007
IEEE
Due to the roaring power dissipation and gaining popularity of 3D integration, thermal dissipation has been a critical concern of modern VLSI design. The availability for chip-lev...
165
click to vote
LICS
2007
IEEE
16 years 29 days ago
2007
IEEE
We introduce symmetric Datalog, a syntactic restriction of linear Datalog and show that its expressive power is exactly that of restricted symmetric monotone Krom SNP. The deep re...
170
click to vote
LICS
2007
IEEE
16 years 29 days ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
174
click to vote
P2P
2007
IEEE
16 years 29 days ago
2007
IEEE
Range queries are a very powerful tool in a wide range of data management systems and are vital to a multitude of applications. The hierarchy of structured overlay systems can be ...
164
click to vote
SASO
2007
IEEE
16 years 29 days ago
2007
IEEE
The study of synchronization has received much attention in a variety of applications, ranging from coordinating sensors in wireless networks to models of fireflies flashing in...