4959 search results - page 903 / 992 » Imperative Functional Programming |
113
click to vote
ICCAD
1997
IEEE
15 years 3 months ago
1997
IEEE
We introduce a new technique to solve exactly a discrete optimization problem, based on the paradigm of “negative” thinking. The motivation is that when searching the space of...
114
click to vote
ASPLOS
1996
ACM
15 years 3 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...
108
click to vote
ASPLOS
2006
ACM
15 years 2 months ago
2006
ACM
Architects use cycle-by-cycle simulation to evaluate design choices and understand tradeoffs and interactions among design parameters. Efficiently exploring exponential-size desig...
112
Voted
ECOOP
2004
Springer
15 years 2 months ago
2004
Springer
In this paper, we present a solution that allows systems to remain active while they are evolving. Our approach goes out from the principle of separated concerns and has two steps....
108
click to vote
ICSE
2000
IEEE-ACM
15 years 2 months ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...