3736 search results - page 352 / 748 » Hand-Writing Program Generator Generators |
169
Voted
GLVLSI
2006
IEEE
16 years 24 days ago
2006
IEEE
In this paper we have applied statistical sizing in an industrial setting. Efficient implementation of the statistical sizing algorithm is achieved by utilizing a dedicated interi...
167
click to vote
ERLANG
2006
ACM
16 years 21 days ago
2006
ACM
This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efficient tool for implementing any Erlang/C bindings, as either...
145
click to vote
FSTTCS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
165
click to vote
ISOLA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
185
click to vote
WORDS
2003
IEEE
16 years 7 hour ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...