2364 search results - page 296 / 473 » On O-Minimal Hybrid Systems |
180
click to vote
ISPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this work we present the runtime architecture of the OMPi OpenMP compiler. OMPi is a source-to-source C translator featuring a portable, modular and extensible runtime system. ...
161
click to vote
FPL
2007
Springer
16 years 22 days ago
2007
Springer
We are developing a set of reusable design blocks and several prototype systems for emulation of multi-core architectures in FPGAs. RAMP Blue is the first of these prototypes and...
131
click to vote
KBSE
2005
IEEE
16 years 5 days ago
2005
IEEE
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...
170
click to vote
ITS
2004
Springer
15 years 12 months ago
2004
Springer
When implementing a tutoring system that attempts a deep understanding of students’ natural language explanations, there are three basic approaches to choose between; symbolic, i...
171
click to vote
PODC
1999
ACM
15 years 11 months ago
1999
ACM
d Abstract) James H. Anderson Department of Computer Science University of North Carolina at Chapel Hill Mark Moiry Department of Computer Science University of Pittsburgh We cons...