Sciweavers

15253 search results - page 2590 / 3051
» Integer-Programming Software Systems
Sort
View
179
Voted
ICCS
2004
Springer
15 years 11 months ago
Using Runtime Measurements and Historical Traces for Acquiring Knowledge in Parallel Applications
Abstract. A new approach for acquiring knowledge of parallel applications regarding resource usage and for searching similarity on workload traces is presented. The main goal is to...
Luciano José Senger, Marcos José San...
ICFEM
2004
Springer
15 years 11 months ago
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
YoungMin Kwon, Gul Agha
ICMI
2004
Springer
120views Biometrics» more  ICMI 2004»
15 years 11 months ago
Support for input adaptability in the ICON toolkit
In this paper, we introduce input adaptability as the ability of an application to exploit alternative sets of input devices effectively and offer users a way of adapting input in...
Pierre Dragicevic, Jean-Daniel Fekete
134
Voted
IWMM
2004
Springer
92views Hardware» more  IWMM 2004»
15 years 11 months ago
Memory accounting without partitions
Operating systems account for memory consumption and allow for termination at the level of individual processes. As a result, if one process consumes too much memory, it can be te...
Adam Wick, Matthew Flatt
160
Voted
MABS
2004
Springer
15 years 11 months ago
Smooth Scaling Ahead: Progressive MAS Simulation from Single PCs to Grids
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...
Les Gasser, Kelvin Kakugawa, Brant Chee, Marc Este...
« Prev « First page 2590 / 3051 Last » Next »