558 search results - page 71 / 112 » DiscoTect: A System for Discovering Architectures from Runni... |
SAS
2001
Springer
14 years 28 days ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
Bushfire BLOCKS is a modular, distributed, agent-based simulation for exploring and informing bushfire response strategies. Separate independent modules capture the fire spread, e...
COMCOM
1998
13 years 8 months ago
1998
Many real-time application domains can benefit from flexible and open distributed architectures, such as those defined by the CORBA specification. CORBA is an architecture for...
TROB
2002
2002
DPAC: an object-oriented distributed and parallel computing framework for manufacturing applications
13 years 8 months ago
Parallel and distributed computing infrastructure are increasingly being embraced in the context of manufacturing applications, including real-time scheduling. In this paper, we pr...
PLDI
1999
ACM
14 years 25 days ago
1999
ACM
This paper explores compiler techniques for reducing the memory needed to load and run program executables. In embedded systems, where economic incentives to reduce both ram and r...