3943 search results - page 175 / 789 » Architecture-Level Requirements Specification |
171
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
Application domain specific DSP cores are becoming increasingly popular due to their advantageous trade–off between flexibility and cost. However, existing code generation metho...
209
click to vote
WETICE
1995
IEEE
15 years 10 months ago
1995
IEEE
Although there are many quality domains in which ideas and concepts about quality are represented, these representations are often informal. The TOVE Quality Ontology is the forma...
184
click to vote
USENIX
2008
15 years 9 months ago
2008
Large-scale scientific and business applications require data processing of ever-increasing amounts of data, fueling a demand for scalable parallel file systems comprising hundred...
172
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
153
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes an autonomic machine control system applied to the adaptive control of a modular soldering machine. The particular case concerns the creation of a novel modul...