Sciweavers

2468 search results - page 16 / 494
» A New Approach to Pseudoword Generation
Sort
View
SOFSEM
2009
Springer
15 years 10 months ago
Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extensi...
Min Wan, Gianfranco Ciardo
CODES
2000
IEEE
15 years 6 months ago
Automatic test bench generation for simulation-based validation
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
Marcello Lajolo, Luciano Lavagno, Maurizio Rebaude...
DATE
2000
IEEE
132views Hardware» more  DATE 2000»
15 years 6 months ago
Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
ICEIS
2003
IEEE
15 years 7 months ago
Code Generation for Distributed Systems
d graphically, interest in code generators which create applications based on abstract system descriptions, is high. An indicator for this are the many commercial products. This pa...
Markus Aleksy, Ralf Gitzel
ICDAR
2003
IEEE
15 years 7 months ago
Image Segmentation By Learning Approach
This article describes a new segmentation by thresholding approach based on learning. The method consists in learning to threshold correctly submitting both an image and its ideal...
Horacio Andrés Legal-Ayala, Jacques Facon