536 search results - page 43 / 108 » A computer verified, monadic, functional implementation of t... |
154
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
193
click to vote
RSP
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes the early analysis and estimation features currently implemented in the Berkeley Emulation Engine (BEE) system. BEE is an integrated rapid prototyping and des...
197
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
We propose a method for the analysis of Magnetic Resonance (MR) cardiac images with the goal of reconstructing the motion of the ventricular walls. The main feature of our method i...
155
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
A number of researchers have proposed using digital marks to provide ownership identification for intellectual property. Many of these techniques share three specific weaknesses: ...
151
click to vote
WSC
1998
15 years 7 months ago
1998
Simulation modeling provides an effective and powerful approach for capturing and analyzing complex manufacturing systems. More and more decisions are based on computer generated ...