3130 search results - page 167 / 626 » Design Correctness of Digital Systems |
134
click to vote
SIGPRO
2008
15 years 3 months ago
2008
Digital filters with linear phase responses, that is, constant group delay responses are needed in many applications for signal and image processing. In this paper, a novel method...
174
click to vote
TEI
2012
ACM
13 years 11 months ago
2012
ACM
This paper introduces DressUp, a computerized system for designing dresses with 3D input using the form of the human body as a guide. It consists of a body-sized physical mannequi...
105
click to vote
FUIN
2007
15 years 4 months ago
2007
We present in this paper the algorithm which performs the translation of MSC’2000 diagrams into Petri net modulo strong bisimulation. The correctness of this algorithm is justifi...
136
click to vote
ET
2010
15 years 2 months ago
2010
—Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. For the class of static affine program...
127
Voted
ICPP
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper presents the design and preliminary implementation of MpPVM, a software system that supports process migration for PVM application programs in a non-dedicated heterogen...