1448 search results - page 121 / 290 » Restricted Stack Implementations |
DAGSTUHL
2006
13 years 9 months ago
2006
Abstract. Within Self-reconfiguring systems two basic problems arise: on instruction level, reconfigurable instruction sets make program generation and execution inherently difficu...
IJCAI
2001
13 years 9 months ago
2001
We present an extensive experimental study of consequence-finding algorithms based on kernel resolution, using both a trie-based and a novel ZBDD-based implementation, which uses ...
IADIS
2003
13 years 9 months ago
2003
This paper presents an approach for separating features out of the implementation artifacts of client-computation in Web applications. A primary benefit to be gained from separati...
IJET
2008
13 years 7 months ago
2008
The IMS Question and Test Interoperability (QTI) standard has had a restricted take-up, in part due to the lack of tools. This paper describes the `ASDEL' test delivery engine...
ML
2008
ACM
13 years 7 months ago
2008
ACM
We implement statically-typed multi-holed contexts in OCaml using an underlying algebraic datatype augmented with phantom types. Existing approaches require dynamic checks or more...