1089 search results - page 2 / 218 » Oracle-Based Partial Evaluation |
TIM
2010
13 years 2 months ago
2010
Abstract--The most popular representative devices of reconfigurable computing are the Field Programmable Gate Arrays (FPGAs). A promising feature of an FPGA is the ability to reuse...
INTERNET
2000
13 years 7 months ago
2000
CSUR
1998
13 years 7 months ago
1998
TOPLAS
1998
13 years 7 months ago
1998
RV
2010
Springer
13 years 5 months ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...