9842 search results - page 1574 / 1969 » Compositional timing analysis |
136
click to vote
ADAEUROPE
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
136
click to vote
ADBIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper presents an adaptation of the ARIES recovery algorithm that solves the problem of recovery in Shared Disk (SD) database systems, whilst preserving all the desi...
135
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
124
click to vote
AOSE
2005
Springer
15 years 10 months ago
2005
Springer
Requirements elicitation for a software system is a key stage in a successful development. At the same time, it is one of the most challenging, because requirements have to conside...
147
click to vote
APWEB
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a new method for visualizing and navigating huge graphs. The main feature of this method is that it applies Level-Of-Detail (LOD) strategy to graph visualizati...