5186 search results - page 1007 / 1038 » Embedded Systems |
ECOOP
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. OpenJIT is an open-ended, reflective JIT compiler framework for Java being researched and developed in a joint project by Tokyo Inst. Tech. and Fujitsu Ltd. Although in g...
104
click to vote
COCO
2010
Springer
15 years 29 days ago
2010
Springer
A PCP is a proof system for NP in which the proof can be checked by a probabilistic verifier. The verifier is only allowed to read a very small portion of the proof, and in return ...
121
click to vote
CC
2008
Springer
14 years 11 months ago
2008
Springer
The polyhedral model provides powerful abstractions to optimize loop nests with regular accesses. Affine transformations in this model capture a complex sequence of execution-reord...
MCS
2010
Springer
14 years 11 months ago
2010
Springer
In a multiple classifier system, dynamic selection (DS) has been used successfully to choose only the best subset of classifiers to recognize the test samples. Dos Santos et al...
CARS
2004
14 years 11 months ago
2004
Robots can improve the accuracy of image-guided needle placement over traditional free-hand techniques. While many research groups have demonstrated this, widespread clinical adopt...