2482 search results - page 84 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
157
click to vote
FLOPS
2010
Springer
15 years 11 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
144
Voted
ISORC
2002
IEEE
15 years 9 months ago
2002
IEEE
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...
139
click to vote
ASIAN
1999
Springer
15 years 8 months ago
1999
Springer
Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs allow only Tamaki-Sa...
122
Voted
ICTAC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...
128
click to vote
IEEEPACT
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents and characterizes the Princeton Application Repository for Shared-Memory Computers (PARSEC), a benchmark suite for studies of Chip-Multiprocessors (CMPs). Prev...