Sciweavers

1151 search results - page 46 / 231
» Automatic Generation of Complex Properties for Hardware Desi...
Sort
View
128
Voted
DSD
2006
IEEE
110views Hardware» more  DSD 2006»
15 years 9 months ago
A Graph Based Algorithm for Data Path Optimization in Custom Processors
The rising complexity, customization and short time to market of modern digital systems requires automatic methods for generation of high performance architectures for such system...
Jelena Trajkovic, Mehrdad Reshadi, Bita Gorjiara, ...
166
Voted
DMDW
2003
269views Management» more  DMDW 2003»
15 years 5 months ago
CASME: A CASE Tool for Spatial Data Marts Design and Generation
Geographic Information Systems (GIS) showed their insufficiencies in front of complex requests for decision-makers. Resulting of the association of the databases and the decision-m...
Hajer Baazaoui Zghal, Sami Faïz, Henda Hajjam...
172
Voted
DFT
2006
IEEE
203views VLSI» more  DFT 2006»
15 years 9 months ago
Self Testing SoC with Reduced Memory Requirements and Minimized Hardware Overhead
This paper describes a methodology of creating a built-in diagnostic system of a System on Chip and experimental results of the system application on the AT94K FPSLIC with cores d...
Ondrej Novák, Zdenek Plíva, Jiri Jen...
163
Voted
DSRT
2008
IEEE
15 years 5 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
148
Voted
MEMICS
2010
14 years 10 months ago
Instructor Selector Generation from Architecture Description
We describe an automated way to generate data for a practical LLVM instruction selector based on machine-generated description of the target architecture at register transfer leve...
Miloslav Trmac, Adam Husar, Jan Hranac, Tomas Hrus...