4491 search results - page 306 / 899 » Algorithm Engineering |
127
Voted
ARCS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
128
Voted
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, we present an approach for automatic synthesis of System on Chip (SoC) multiprocessor architectures for applications expressed as process networks. Our approach is ...
125
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...
122
Voted
EH
2004
IEEE
15 years 7 months ago
2004
IEEE
The properties of engineering structures, such as robotic arms, aircrafts or bridges, rely on the properties of the materials used to build them. The internal architecture of the ...
124
click to vote
FATES
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...