4516 search results - page 316 / 904 » Automated System Design for Availability |
182
click to vote
ACSC
2000
IEEE
15 years 10 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
177
click to vote
ENTCS
2008
15 years 6 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
148
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents a parameterized soft core generator for the discrete Fourier transform (DFT). Reusable IPs of digital signal processing (DSP) kernels are important time-saving...
193
click to vote
GECCO
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a novel evolvable hardware framework for the automated design of digital circuits for high performance applications. The technique evolves circuits correspondi...
167
click to vote
ICFP
2007
ACM
15 years 10 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...