Sciweavers

3238 search results - page 388 / 648
» Multi-return function call
Sort
View
ICFP
1998
ACM
15 years 10 months ago
H/Direct: A Binary Foreign Language Interface for Haskell
H/Direct is a foreign-language interface for the purely functional language Haskell. Rather than rely on host-language type signatures, H/Direct compiles Interface Definition Lang...
Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon L....
PLILP
1998
Springer
15 years 10 months ago
A Hidden Herbrand Theorem
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
Joseph A. Goguen, Grant Malcolm, Tom Kemp
FPL
1997
Springer
123views Hardware» more  FPL 1997»
15 years 10 months ago
P4: A platform for FPGA implementation of protocol boosters
Protocol Boosters are functional elements, inserted anddeleted fromnetwork protocol stacks on an as-neededbasis. The Protocol Booster design methodology attempts to improve end-to-...
Ilija Hadzic, Jonathan M. Smith
VTS
1996
IEEE
111views Hardware» more  VTS 1996»
15 years 10 months ago
Synthesis-for-scan and scan chain ordering
Designing a testable circuit is often a two step process. First, the circuit is designed to conform to the functional specifications. Then, the testability aspects are added. By t...
Robert B. Norwood, Edward J. McCluskey
INFOCOM
1993
IEEE
15 years 10 months ago
Rate-Controlled Static-Priority Queueing
We propose a new service discipline, called the RateControlledStatic-Priority (RCSP) queueingdiscipline, that can provide throughput, delay, delay jitter, and loss free guarantees...
Hui Zhang, Domenico Ferrari