3575 search results - page 34 / 715 » Presentations of computably enumerable reals |
177
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
160
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents the RTExpressTM environment which is a software tool that assists a user in rapidly developing real-time embedded systems. RTExpressTM is a compiler and runtim...
150
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...
175
click to vote
IPPS
2007
IEEE
16 years 11 days ago
2007
IEEE
Implementing real-time video processing systems put high requirements on computation and memory performance. FPGAs have proven to be effective implementation architecture for thes...
171
click to vote
CGI
2006
IEEE
16 years 4 days ago
2006
IEEE
Abstract. In recent years, attention has been paid to particle-based fluid simulation, with several methods being developed to incorporate particle-based simulation into CG animat...