3130 search results - page 495 / 626 » Design Correctness of Digital Systems |
174
click to vote
ECOOP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
148
click to vote
ASYNC
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a method for synchronizing pausible clocks in GALS (Globally Asynchronous, Locally Synchronous) systems. In contrast to most conventional GALS schemes the method is not...
148
click to vote
AVBPA
2001
Springer
15 years 11 months ago
2001
Springer
We present an approach for visual discrimination of children from adults in video using characteristic regularities present in their locomotion patterns. The framework employs comp...
139
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
Evolutionary prototyping focuses on gathering a correct and consistent set of requirements. The process lends particular strength to building quality software by means of the ongo...
166
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a methodology for parallel and distributed simulation of VHDL using the PDES (parallel discrete-event simulation) paradigm. To achieve better features and perf...