970 search results - page 187 / 194 » Adaptive Analysis of On-line Algorithms |
240
Voted
POPL
2004
ACM
16 years 3 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
207
Voted
VLDB
2005
ACM
16 years 3 months ago
2005
ACM
The traditional model of bench (wet) chemistry in many life sciences domain is today actively complimented by computer-based discoveries utilizing the growing number of online data...
123
Voted
SOSP
2003
ACM
16 years 12 days ago
2003
ACM
This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that threadbased sy...
126
click to vote
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—With the proliferation of wireless multimedia applications, multicast/broadcast has been recognized as an efficient technique to transmit a large volume of data to mult...
129
Voted
ROBOCUP
2009
Springer
15 years 10 months ago
2009
Springer
This paper is focused on the sensor and information fusion techniques used by a robotic soccer team. Due to the fact that the sensor information is affected by noise, and taking in...