Sciweavers

27827 search results - page 425 / 5566
» Generating
Sort
View
KBSE
2006
IEEE
15 years 10 months ago
Model-driven Monitoring: Generating Assertions from Visual Contracts
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
Marc Lohmann, Gregor Engels, Stefan Sauer
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
15 years 10 months ago
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
José García-Fanjul, Claudio de la Ri...
CVPR
2010
IEEE
15 years 10 months ago
Generating Sharp Panoramas from Motion-blurred Videos
In this paper, we show how to generate a sharp panorama from a set of motion-blurred video frames. Our technique is based on joint global motion estimation and multi-frame deblurr...
Yunpeng Li, Sing Bing Kang, Neel Joshi, Steve Seit...
ATS
2005
IEEE
132views Hardware» more  ATS 2005»
15 years 10 months ago
Concurrent Test Generation
We define a new type of test, called “concurrent test,” for a combinational circuit. Given a set of target faults, a concurrent-test is an input vector that detects all (or m...
Vishwani D. Agrawal, Alok S. Doshi
DATE
2005
IEEE
96views Hardware» more  DATE 2005»
15 years 10 months ago
Framework for Fault Analysis and Test Generation in DRAMs
Abstract: With the increasing complexity of memory behavior, attempts are being made to come up with a methodical approach that employs electrical simulation to tackle the memory t...
Zaid Al-Ars, Said Hamdioui, Georg Mueller, A. J. v...