4067 search results - page 298 / 814 » Programs for Applying Symmetries |
170
click to vote
AUSAI
2005
Springer
16 years 7 days ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
173
click to vote
APLAS
2004
ACM
16 years 6 days ago
2004
ACM
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...
144
click to vote
ASPDAC
2004
ACM
16 years 6 days ago
2004
ACM
Abstract- This paper proposes a hardwadsoftware cosynthesis algorithm for processors with heterogeneous registers. Given a CDFG correspondingto an application program and a timing ...
182
click to vote
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
170
click to vote
ICCS
2004
Springer
16 years 4 days ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...