3056 search results - page 467 / 612 » Compiling Embedded Languages |
149
Voted
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
135
click to vote
VL
2008
IEEE
15 years 11 months ago
2008
IEEE
Web 2.0 has enabled end users to collaborate through their own developed artifacts, moving on from text (e.g., Wikipedia, Blogs) to images (e.g., Flickr) and movies (e.g., YouTube...
150
click to vote
MEMOCODE
2007
IEEE
15 years 11 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
157
click to vote
IWMM
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
133
click to vote
IWMM
2007
Springer
15 years 11 months ago
2007
Springer
Numerous optimizations exist for improving the performance of nondeferred reference-counting (RC) garbage collection. Their designs are ad hoc, intended to exploit different count...