2018 search results - page 374 / 404 » Code Normal Forms |
POPL
1999
ACM
14 years 1 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
ICSE
1999
IEEE-ACM
1999
IEEE-ACM
CHIME: Customizable Hyperlink Insertion and Maintenance Engine for Software Engineering Environments
14 years 28 days ago
Source code browsing is an important part of program comprehension. Browsers expose semantic and syntactic relationships (such as between object references and definitions) in GU...
SIGOPSE
1998
ACM
14 years 27 days ago
1998
ACM
Modern virtual machines, such as Java and Inferno, are emerging as network computing s. While these virtual machines provide higher-level abstractions and more sophisticated servi...
PEPM
1994
ACM
14 years 22 days ago
1994
ACM
our results using the Fast Fourier Transformation, the N-body attraction problem, and the cubic splines interpolation as examples.We investigate the application of partial evaluati...
CODES
2004
IEEE
14 years 12 days ago
2004
IEEE
For complex System-on-chips (SoCs) fabricated in nanometer technologies, the system-level on-chip communication architecture is emerging as a significant source of power consumpti...