Sciweavers

1760 search results - page 244 / 352
» A System to Mark Programs Automatically
Sort
View
120
Voted
ESOP
2004
Springer
15 years 8 months ago
Canonical Graph Shapes
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
Arend Rensink
ICDCS
2003
IEEE
15 years 8 months ago
Compiler Scheduling of Mobile Agents for Minimizing Overheads
Mobile code carried by a mobile agent can automatically travel to several data sources in order to complete a designated program. Traditionally, most mobile agent systems [7][8][1...
Xiaotong Zhuang, Santosh Pande
ICDCSW
2002
IEEE
15 years 8 months ago
Dynamic Support for Distributed Auto-Adaptive Applications
Abstract— This work presents an infrastructure that simplifies the development of distributed applications that can adapt automatically to nonfunctional properties of their comp...
Ana Lúcia de Moura, Cristina D. Ururahy, Re...
ICS
2001
Tsinghua U.
15 years 7 months ago
Computer aided hand tuning (CAHT): "applying case-based reasoning to performance tuning"
For most parallel and high performance systems, tuning guides provide the users with advices to optimize the execution time of their programs. Execution time may be very sensitive...
Antoine Monsifrot, François Bodin
ERLANG
2004
ACM
15 years 7 months ago
An external short message entity for gambling services
This paper introduces a new platform designed for mobile gambling services. The special characteristics of these services lead us to developed a multiservice platform that easily ...
Enrique Marcote, Daniel I. Iglesia, Carlos J. Escu...