12697 search results - page 271 / 2540 » Call for Papers |
193
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
158
click to vote
STOC
2002
ACM
16 years 7 months ago
2002
ACM
Two infinite walks on the same finite graph are called compatible if it is possible to introduce delays into them in such a way that they never collide. Years ago, Peter Winkler a...
169
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
The large scale adoption of adaptive services in pervasive and mobile computing is likely to be conditioned to the availability of reliable privacy-preserving technologies. Unfort...
168
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
Distribution of media in the fast growing world of digital stored content and multimedia supporting devices with connectivity, calls for a new media distribution architecture. The...
160
Voted
ICCD
2002
IEEE
16 years 3 months ago
2002
IEEE
Although x86 processors have been around for a long time and are the most ubiquitous processors in the world, the amount of academic research regarding details of their performanc...