10159 search results - page 493 / 2032 » System Design Validation Using Formal Models |
182
Voted
CORR
2007
Springer
15 years 5 months ago
2007
Springer
This paper presents a methodology to efficiently explore the design space of communication adapters. In most digital signal processing (DSP) applications, the overall performance ...
133
Voted
IWPC
2003
IEEE
15 years 10 months ago
2003
IEEE
Many applications have one or more important modules that are written in a language other than conventional procedural or object oriented languages. These languages are often tran...
143
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract: DRAMs play an important role in the semiconductor industry, due to their highly dense layout and their low price per bit. This paper presents the first framework of faul...
117
click to vote
CSCW
2002
ACM
15 years 4 months ago
2002
ACM
We present a field study of police SWAT teams for the purpose of enabling grounded design of a system to coordinate distributed field robots. The mission-oriented, spatially distr...
138
click to vote
CCE
2010
15 years 2 months ago
2010
This paper presents an approach for combined mass and energy integration in process synthesis and illustrates it at the thermochemical production of crude synthetic natural gas (S...