880 search results - page 98 / 176 » Model checking erlang programs: the functional approach |
136
click to vote
RTA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
151
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
140
click to vote
FCCM
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper introduces a novel architecture for performing the core computations required by dynamic programming (DP) techniques. The latter pertain to a vast range of a...
136
click to vote
CG
2000
Springer
15 years 3 months ago
2000
Springer
The Back of an Envelope project demonstrates how a calligraphic interface (one that employs a pen or stylus to input freehand drawing marks) can be used in a wide variety of domai...
133
click to vote
MP
2006
15 years 4 months ago
2006
Abstract. Traditional stochastic programming is risk neutral in the sense that it is concerned with the optimization of an expectation criterion. A common approach to addressing ri...