Sciweavers

1914 search results - page 239 / 383
» Abstract lambda-Calculus Machines
Sort
View
CC
2001
Springer
176views System Software» more  CC 2001»
14 years 16 days ago
A Framework for Optimizing Java Using Attributes
Abstract. This paper presents a framework for supporting the optimization of Java programs using attributes in Java class files. We show how class file attributes may be used to ...
Patrice Pominville, Feng Qian, Raja Vallée-...
ICALP
2001
Springer
14 years 15 days ago
On the Approximability of Average Completion Time Scheduling under Precedence Constraints
Abstract. We consider the scheduling problem of minimizing the average weighted job completion time on a single machine under precedence constraints. We show that this problem with...
Gerhard J. Woeginger
ICCS
2001
Springer
14 years 14 days ago
Achieving Performance Portability with SKaMPI for High-Performance MPI Programs
Abstract. Current development processes for parallel software often fail to deliver portable software. This is because these processes usually require a tedious tuning phase to del...
Ralf Reussner, Gunnar Hunzelmann
ICCS
2001
Springer
14 years 14 days ago
Distributed Name Service in Harness
Abstract. The Harness metacomputing framework is a reliable and flexible environment for distributed computing. A shortcoming of the system is that services are dependent on a nam...
Tomasz Tyrakowski, Vaidy S. Sunderam, Mauro Miglia...
PCI
2001
Springer
14 years 14 days ago
The Opsis Project: Materialized Views for Data Warehouses and the Web
Abstract. The real world we live in is mostly perceived through an incredibly large collection of views generated by humans, machines, and other systems. This is the view reality. ...
Nick Roussopoulos, Yannis Kotidis, Alexandros Labr...