2007 search results - page 153 / 402 » Using general-purpose programming languages for FPGA design |
171
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
140
click to vote
ECBS
1999
IEEE
15 years 7 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
115
click to vote
GPCE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Meta-AspectJ (MAJ) is a language tool for generating AspectJ programs using code templates. MAJ itself is an extension of Java, so users can interleave arbitrary Java cod...
126
click to vote
ESOP
2010
Springer
16 years 19 days ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
116
click to vote
WEBDB
1998
Springer
15 years 7 months ago
1998
Springer
In its infancy, the World-Wide Web consisted of a web of largely static hypertext documents. As time progresses it is evolving into a domain which supports almost arbitrary network...