555 search results - page 11 / 111 » A Run-time System for SCOOP |
116
click to vote
FCCM
2004
IEEE
15 years 3 months ago
2004
IEEE
Dynamically reconfigurable architectures or systems are able to reconfigure their function and/or structure to suit changing needs of a computation during run time. The increasing...
205
click to vote
ICLP
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
CC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
107
click to vote
ERSA
2003
15 years 1 months ago
2003
Many embedded applications can benefit from the flexible custom computing opportunities that FPGA technology offers. The Run-Time Reconfiguration (RTR) of the FPGA as an applicati...
108
click to vote
DAGSTUHL
1996
15 years 1 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...