500 search results - page 90 / 100 » Compiling SA-C Programs to FPGAs: Performance Results |
POPL
2010
ACM
15 years 6 months ago
2010
ACM
Message-passing is an attractive thread coordination mechanism because it cleanly delineates points in an execution when threads communicate, and unifies synchronization and comm...
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
We present the application of customized code generation to database query evaluation. The idea is to use a collection of highly efficient code templates and dynamically instantiat...
100
click to vote
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
OOPSLA
2001
Springer
15 years 4 months ago
2001
Springer
The Multitasking Virtual Machine (called from now on simply MVM) is a modification of the Java™ virtual machine. It enables safe, secure, and scalable multitasking. Safety is ac...
IADIS
2004
15 years 1 months ago
2004
In my Research Analyst capacity at the University of California Davis School of Education until November 2003, I performed a web-based research study of Instructional Systems IS a...