Sciweavers

1878 search results - page 113 / 376
» The Vienna Abstract Machine
Sort
View
100
Voted
PACT
1997
Springer
15 years 6 months ago
Viability of Multithreading on Networks of Workstations
Abstract. Recent trend in high-performance computing focuses on networks of workstations (NOWs) as a way ofrealizing cost-effective parallel machines. This has been due to the avai...
Hantak Kwak, Ben Lee, Ali R. Hurson
151
Voted
PDPTA
2007
15 years 4 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
143
Voted
ENTCS
2008
120views more  ENTCS 2008»
15 years 2 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
129
Voted
ICAS
2009
IEEE
139views Robotics» more  ICAS 2009»
15 years 9 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à
109
Voted
APPROX
2009
Springer
99views Algorithms» more  APPROX 2009»
15 years 9 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