1636 search results - page 141 / 328 » Reasoning About Quantum Systems |
182
click to vote
IPPS
2009
IEEE
16 years 29 days ago
2009
IEEE
In this paper, we empirically evaluate fundamental design trade-offs among the most recent multicore processors and accelerator technologies. Our primary aim is to aid application...
163
click to vote
LADS
2007
Springer
16 years 14 days ago
2007
Springer
One of the main reasons about the success of the Web is that many “regular users” are able to create Web pages that, using hyperlinks, incrementally extend both the size and th...
134
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
Simulatability constitutes the cryptographic notion of a secure refinement and has asserted its position as one of the fundamental concepts of modern cryptography. Although simula...
180
click to vote
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
Rapid advances in wireless networking technologies have enabled mobile devices to be connected anywhere and anytime. While roaming, applications on these devices dynamically disco...
173
click to vote
ICTAI
2003
IEEE
15 years 11 months ago
2003
IEEE
One of the main reasons behind unfruitful software development projects is that it is often too late to correct the problems by the time they are detected. It clearly indicates th...