Sciweavers

1874 search results - page 120 / 375
» Abstract Machine for LDL
Sort
View
ENTCS
2008
120views more  ENTCS 2008»
14 years 10 months ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke
ICAS
2009
IEEE
139views Robotics» more  ICAS 2009»
15 years 4 months ago
Predicting Web Server Crashes: A Case Study in Comparing Prediction Algorithms
Abstract—Traditionally, performance has been the most important metrics when evaluating a system. However, in the last decades industry and academia have been paying increasing a...
Javier Alonso, Jordi Torres, Ricard Gavaldà
APPROX
2009
Springer
99views Algorithms» more  APPROX 2009»
15 years 4 months ago
Resource Minimization Job Scheduling
Abstract. Given a set J of jobs, where each job j is associated with release date rj, deadline dj and processing time pj, our goal is to schedule all jobs using the minimum possibl...
Julia Chuzhoy, Paolo Codenotti
ICNS
2006
IEEE
15 years 4 months ago
Grid Infrastructure Deployment using SmartFrog Technology
The Globus Toolkit is properly configured open source software for setting up grid nodes across multiple heterogeneous platforms. The process of grid enabling a machine is a long ...
Ritu Sabharwal
SENSYS
2006
ACM
15 years 4 months ago
Protothreads: simplifying event-driven programming of memory-constrained embedded systems
Event-driven programming is a popular model for writing programs for tiny embedded systems and sensor network nodes. While event-driven programming can keep the memory overhead do...
Adam Dunkels, Oliver Schmidt, Thiemo Voigt, Muneeb...