Sciweavers

3038 search results - page 334 / 608
» Industrial evolutionary computing
Sort
View
DATE
2004
IEEE
136views Hardware» more  DATE 2004»
15 years 10 months ago
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...
Michele Borgatti, Andrea Capello, Umberto Rossi, J...
EDOC
2004
IEEE
15 years 10 months ago
Mapping EDOC to Web Services using YATL
Modeling is a technique used extensively in industry to define software systems, the UML being the most prominent example. With the increased use of modeling techniques has come t...
Octavian Patrascoiu
DAC
1997
ACM
15 years 10 months ago
Formal Verification of a Superscalar Execution Unit
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
Kyle L. Nelson, Alok Jain, Randal E. Bryant
DAC
1995
ACM
15 years 10 months ago
New Performance-Driven FPGA Routing Algorithms
—Motivated by the goal of increasing the performance of FPGA-based designs, we propose new Steiner and arborescence FPGA routing algorithms. Our Steiner tree constructions signiï...
Michael J. Alexander, Gabriel Robins
GROUP
1995
ACM
15 years 10 months ago
Understanding the requirements for information system documentation: an empirical investigation
Software and Information Systems (IS) documents are a common product of large IS development e orts. These documents are produced and consumed through a variety of documentation p...
Abdulaziz Jazzar, Walt Scacchi