Sciweavers

10700 search results - page 155 / 2140
» Generative Design Patterns
Sort
View
DATE
2003
IEEE
87views Hardware» more  DATE 2003»
15 years 3 months ago
A Proposal for Transaction-Level Verification with Component Wrapper Language
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
Koji Ara, Kei Suzuki
MEMOCODE
2003
IEEE
15 years 3 months ago
Optimizations for Faster Execution of Esterel Programs
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
Dumitru Potop-Butucaru, Robert de Simone
RSP
1998
IEEE
126views Control Systems» more  RSP 1998»
15 years 2 months ago
Testing Prototypes Validity to Enhance Code Reuse
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
Didier Buchs, A. Diagne, Fabrice Kordon
EURODAC
1994
IEEE
94views VHDL» more  EURODAC 1994»
15 years 2 months ago
A Study of Undetectable Non-Feedback Shorts for the Purpose of Physical-DFT
Undetectable shorts may decrease the long term reliability of a circuit, cause intermittent failures, add noise and delay, or increase test pattern generation costs. This paper de...
Richard McGowen, F. Joel Ferguson
CIARP
2007
Springer
15 years 4 months ago
A Statistical User Simulation Technique for the Improvement of a Spoken Dialog System
Abstract. In this paper, we present a statistical approach for the automatic generation of dialogs by means of a user simulator. This technique can be used to generate dialogs with...
Lluís Hurtado, David Griol, Emilio Sanchis,...