3130 search results - page 255 / 626 » Design Correctness of Digital Systems |
133
click to vote
SQJ
2002
15 years 4 months ago
2002
Acknowledging the intense requirement for low power operation in most portable computing systems, this paper introduces the notion of energy efficient software design and proposes ...
146
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
142
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
This paper presents an implementation of iris recognition algorithm using phase-based image matching -- an image matching technique using phase components in 2D Discrete Fourier T...
215
click to vote
ITICSE
2009
ACM
15 years 11 months ago
2009
ACM
This paper describes our experiences with the first partial deployment of Presentations Automatically Organized from Lectures (PAOL), a lecture recording system developed and tes...
125
Voted
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Dynamic technology-driven circumstances fortify academic librarians’ reconsideration of their professional purposes, processes and relationships. In response, California Polytec...