Sciweavers

1914 search results - page 120 / 383
» Abstract lambda-Calculus Machines
Sort
View
PDPTA
2007
13 years 9 months ago
Python-based Distributed Programming with Trickle
Abstract Trickle is a an extension to the Python programming language that provides explicit but simple mechanisms to write distributed scripts and programs. Trickle links together...
Gregory Benson, Alexey Fedosov
ENTCS
2008
120views more  ENTCS 2008»
13 years 8 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»
14 years 3 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»
14 years 3 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
14 years 2 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