Sciweavers

1615 search results - page 184 / 323
» Adaptive programming in JAsCo
Sort
View
DATE
2005
IEEE
187views Hardware» more  DATE 2005»
15 years 9 months ago
Cycle Accurate Binary Translation for Simulation Acceleration in Rapid Prototyping of SoCs
In this paper, the application of a cycle accurate binary translator for rapid prototyping of SoCs will be presented. This translator generates code to run on a rapid prototyping ...
Jürgen Schnerr, Oliver Bringmann, Wolfgang Ro...
130
Voted
PADL
2005
Springer
15 years 9 months ago
A Full Pattern-Based Paradigm for XML Query Processing
In this article we investigate a novel execution paradigm—ML-like pattern-matching— for XML query processing. We show that such a paradigm is well adapted for a common and freq...
Véronique Benzaken, Giuseppe Castagna, C&ea...
111
Voted
GPCE
2004
Springer
15 years 8 months ago
Supporting Flexible Object Database Evolution with Aspects
Object database management systems (ODBMSs) typically offer fixed approaches to evolve the schema of the database and adapt existing instances accordingly. Applications, however, h...
Awais Rashid, Nicholas A. Leidenfrost
135
Voted
ECOOP
2000
Springer
15 years 7 months ago
Using Objects for Next Generation Communication Services
The integration of the telephone network and the internet enables convergence of voice and data services. The explosion of information appliances also provides new service opportun...
Munir Cochinwala
199
Voted
POPL
2001
ACM
16 years 3 months ago
Oracle-based checking of untrusted software
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
George C. Necula, Shree Prakash Rahul