45 search results - page 8 / 9 » A Partial Evaluation Framework for Curry Programs |
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
86
Voted
ML
2006
ACM
14 years 10 months ago
2006
ACM
Bridge bidding is considered to be one of the most difficult problems for game-playing programs. It involves four agents rather than two, including a cooperative agent. In additio...
126
Voted
CONCUR
1998
Springer
15 years 2 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
86
Voted
PLDI
2009
ACM
15 years 5 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
– Shared-backup path protection (SBPP) has been widely studied in the GMPLS networks due to its efficient spare capacity sharing and flexibility in service provisioning. This pap...