Sciweavers

994 search results - page 121 / 199
» Simulation Model of the Telemedicine Program
Sort
View
INFSOF
2008
118views more  INFSOF 2008»
13 years 11 months ago
MARS: A metamodel recovery system using grammar inference
Domain-specific modeling (DSM) assists subject matter experts in describing the essential characteristics of a problem in their domain. Various software artifacts can be generated...
Faizan Javed, Marjan Mernik, Jeff Gray, Barrett R....
EAGC
2004
Springer
14 years 4 months ago
Managing MPI Applications in Grid Environments
One of the goals of the EU CrossGrid project is to provide a basis for supporting the efficient execution of parallel and interactive applications on Grid environments. CrossGrid j...
Elisa Heymann, Miquel A. Senar, Enol Fernán...
ICRA
2006
IEEE
101views Robotics» more  ICRA 2006»
14 years 5 months ago
Policies based on Trajectory Libraries
— We present a control approach that uses a library of trajectories to establish a global control law or policy. This is an alternative to methods for finding global policies ba...
Martin Stolle, Christopher G. Atkeson
PLDI
1995
ACM
14 years 2 months ago
Improving Balanced Scheduling with Compiler Optimizations that Increase Instruction-Level Parallelism
Traditional list schedulers order instructions based on an optimistic estimate of the load latency imposed by the hardware and therefore cannot respond to variations in memory lat...
Jack L. Lo, Susan J. Eggers
VMCAI
2010
Springer
14 years 8 months ago
Complexity Bounds for the Verification of Real-Time Software
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahe...