Sciweavers

32545 search results - page 6261 / 6509
» Data Structures and Algorithms
Sort
View
176
Voted
POPL
2011
ACM
14 years 9 months ago
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Pe...
SIGMETRICS
2011
ACM
139views Hardware» more  SIGMETRICS 2011»
14 years 9 months ago
Slick packets
Source-controlled routing has been proposed as a way to improve flexibility of future network architectures, as well as simplifying the data plane. However, if a packet specifie...
Giang T. K. Nguyen, Rachit Agarwal, Junda Liu, Mat...
SIGMOD
2011
ACM
290views Database» more  SIGMOD 2011»
14 years 9 months ago
Database state generation via dynamic symbolic execution for coverage criteria
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
Kai Pan, Xintao Wu, Tao Xie
ICCV
2011
IEEE
14 years 6 months ago
DTAM: Dense Tracking and Mapping in Real-Time
DTAM is a system for real-time camera tracking and reconstruction which relies not on feature extraction but dense, every pixel methods. As a single hand-held RGB camera flies ov...
Richard A. Newcombe, Steven Lovegrove, Andrew J. D...
CIKM
2011
Springer
14 years 6 months ago
ReDRIVE: result-driven database exploration through recommendations
Typically, users interact with database systems by formulating queries. However, many times users do not have a clear understanding of their information needs or the exact content...
Marina Drosou, Evaggelia Pitoura
« Prev « First page 6261 / 6509 Last » Next »