2810 search results - page 379 / 562 » Contract-Based Component System Design |
95
Voted
PLDI
1997
ACM
15 years 3 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
101
click to vote
POPL
1997
ACM
15 years 3 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
SAFECOMP
2000
Springer
15 years 3 months ago
2000
Springer
An expert trouble-shooter is a subject who has a great deal of experience in his activity that allows him or her to be very efficient. However, the large amount of problems he or s...
MPC
1995
Springer
15 years 3 months ago
1995
Springer
This paper proposes a refinement relation supporting the transition from unbounded to bounded communication buffers. Employing this refinement relation, a system specification base...
114
click to vote
ECCV
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we present a system including a novel component called programmable aperture and two associated post-processing algorithms for high-quality light field acquisition...