1451 search results - page 37 / 291 » Case Studies in Model Manipulation for Scientific Computing |
IFM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
106
click to vote
BMVC
2002
15 years 2 months ago
2002
In this paper, we present a non-intrusive method for human motion estimation from a monocular video camera for the teleoperation of ROBONAUT (ROBOtic astroNAUT). ROBONAUT is an an...
DAC
2005
ACM
15 years 1 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
GI
2009
Springer
14 years 9 months ago
2009
Springer
: We explore the expressiveness of the BPMN workflow modelling language by applying it to MuCoMS, a paper submission system. This well known application domain is a suitable exampl...
118
click to vote
CODES
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, we present the analysis, design and implementation of an estimator to realize large bit width unsigned integer multiplier units. Larger multiplier units are require...