4895 search results - page 715 / 979 » Functional Quantum Programming |
168
click to vote
ICPR
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes an infrastructure that enables transparent development of image processing software for parallel computers. The infrastructure’s main component is an image ...
173
Voted
ACSE
2000
ACM
15 years 9 months ago
2000
ACM
Object-oriented programming and concurrency are increasingly popular in computing education. Both are difficult topics in themselves, and the combination of both introduces subtle...
132
Voted
AGP
1999
IEEE
15 years 9 months ago
1999
IEEE
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...
119
click to vote
HOTOS
1999
IEEE
15 years 9 months ago
1999
IEEE
Reducing the energy consumed in the use of computing devices is becoming a major design challenge. While the problem obviously must be addressed with improved low-level technology...
144
click to vote
ICCAD
1999
IEEE
15 years 9 months ago
1999
IEEE
We present a method for optimizing and automating component and transistor sizing for CMOS LC oscillators. We observe that the performance measures can be formulated as posynomial...