3056 search results - page 464 / 612 » Open Implementation Analysis and Design |
127
Voted
ER
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Requirements Engineering techniques, based on the fundamental notions of agency, i.e., Agent, Goal, and Intentional Dependency, have been recognized as having the potenti...
148
click to vote
ICCAD
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
165
click to vote
ICECCS
1996
IEEE
15 years 9 months ago
1996
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
135
click to vote
SPAA
1996
ACM
15 years 9 months ago
1996
ACM
A quantitative comparison of the BSP and LogP models of parallel computation is developed. We concentrate on a variant of LogP that disallows the so-called stalling behavior, alth...
183
click to vote
BROADNETS
2007
IEEE
15 years 9 months ago
2007
IEEE
Multimedia applications have unique characteristics that can be leveraged to design energy-efficient loss recovery mechanisms. Given their loss tolerance and strict timing requirem...