4516 search results - page 264 / 904 » Automated System Design for Availability |
148
click to vote
TACAS
1995
Springer
15 years 10 months ago
1995
Springer
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
205
click to vote
DAC
2010
ACM
15 years 5 months ago
2010
ACM
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
183
click to vote
MAICS
2004
2004
Creation of a Style Independent Intelligent Autonomous Citation Indexer to Support Academic Research
15 years 8 months ago
This paper describes the current state of RUgle, a system for classifying and indexing papers made available on the World Wide Web, in a domain-independent and universal manner. B...
214
Voted
IESS
2007
Springer
16 years 23 days ago
2007
Springer
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...
179
click to vote
CSMR
2002
IEEE
15 years 11 months ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...