314 search results - page 38 / 63 » Generating Path Conditions for Timed Systems |
154
click to vote
PPDP
2010
Springer
15 years 10 days ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
108
click to vote
CODES
2003
IEEE
15 years 7 months ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
106
click to vote
ACSD
2009
IEEE
15 years 4 months ago
2009
IEEE
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
147
click to vote
NN
2002
Springer
15 years 1 months ago
2002
Springer
In this paper we implement a computational model of a neuromodulatory system in an autonomous robot. The output of the neuromodulatory system acts as a value signal, modulating wi...
MICCAI
2009
Springer
16 years 3 months ago
2009
Springer
This paper describes a system to automatically segment the left ventricle in all slices and all phases of cardiac cine magnetic resonance datasets. After localizing the left ventri...