1585 search results - page 163 / 317 » A framework for computer-aided validation |
151
Voted
CAIP
2009
Springer
15 years 7 months ago
2009
Springer
Bottom-up segmentation methods merge similar neighboring regions according to a decision rule and a merging order. In this paper, we propose a contribution for each of these two po...
129
Voted
ACSD
2006
IEEE
15 years 7 months ago
2006
IEEE
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
109
Voted
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we present an approach to multi-objective exploration of the mapping space of a mesh-based network-on-chip architecture. Based on evolutionary computing techniques, ...
160
Voted
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
109
Voted
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields a...