Sciweavers

5692 search results - page 879 / 1139
» Challenges and Unsolved Problems
Sort
View
PVLDB
2010
166views more  PVLDB 2010»
15 years 5 months ago
Complex Event Detection at Wire Speed with FPGAs
Complex event detection is an advanced form of data stream processing where the stream(s) are scrutinized to identify given event patterns. The challenge for many complex event pr...
Louis Woods, Jens Teubner, Gustavo Alonso
SAS
2010
Springer
143views Formal Methods» more  SAS 2010»
15 years 5 months ago
Points-to Analysis as a System of Linear Equations
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...
Rupesh Nasre, Ramaswamy Govindarajan
SAS
2010
Springer
149views Formal Methods» more  SAS 2010»
15 years 5 months ago
Boxes: A Symbolic Abstract Domain of Boxes
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
Arie Gurfinkel, Sagar Chaki
SCHEDULING
2010
74views more  SCHEDULING 2010»
15 years 5 months ago
Term-end exam scheduling at United States Military Academy/West Point
Scheduling term-end exams (TEE) at the United States Military Academy in West Point is unlike any other exam timetabling problem we know of. Exam timetabling normally produces a c...
Siqun Wang, Michael R. Bussieck, Monique Guignard,...
SIGMETRICS
2010
ACM
180views Hardware» more  SIGMETRICS 2010»
15 years 5 months ago
Route oracle: where have all the packets gone?
Many network-management problems in large backbone networks need the answer to a seemingly simple question: where does a given IP packet, entering the network at a particular plac...
Yaping Zhu, Jennifer Rexford, Subhabrata Sen, Aman...