5372 search results - page 809 / 1075 » complexity 2007 |
165
click to vote
FMCO
2007
Springer
16 years 24 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, (...
201
click to vote
FMICS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
198
click to vote
FPL
2007
Springer
16 years 24 days ago
2007
Springer
Today’s heterogeneous embedded systems combine components from different domains, such as software, analogue hardware and digital hardware. The design and implementation of thes...
208
click to vote
FPL
2007
Springer
16 years 24 days ago
2007
Springer
An important step in Heterogeneous System Development is Hardware/Software Partitioning. This process involves exploring a huge design space. By using profiling to select hot-spo...
171
click to vote
FROCOS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...