2550 search results - page 428 / 510 » Architecture as Language |
161
click to vote
FMCO
2007
Springer
16 years 15 days ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...
163
click to vote
IESS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract This paper presents an embedded system design toolchain for automatic generation of parallel code runnable on symmetric multiprocessor systems from an initial sequential s...
173
click to vote
LADS
2007
Springer
16 years 14 days ago
2007
Springer
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechan...
193
click to vote
MIDDLEWARE
2007
Springer
16 years 14 days ago
2007
Springer
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...
164
click to vote
MODELS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...