2629 search results - page 361 / 526 » complex 2009 |
135
click to vote
FCT
2009
Springer
15 years 11 months ago
2009
Springer
In the uniform circuit model of computation, the width of a boolean circuit exactly characterises the “space” complexity of the computed function. Looking for a similar relatio...
145
click to vote
FIMH
2009
Springer
15 years 11 months ago
2009
Springer
Automated motion tracking of the myocardium from 3D echocardiography provides insight into heart’s architecture and function. We present a method for 3D cardiac motion tracking u...
167
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
122
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
137
Voted
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...