Sciweavers

7124 search results - page 356 / 1425
» Programming Languages and Operating Systems
Sort
View
ISCA
1992
IEEE
113views Hardware» more  ISCA 1992»
15 years 10 months ago
Dynamic Dependency Analysis of Ordinary Programs
A quantitative analysis of program execution is essential to the computer architecture design process. With the current trend in architecture of enhancing the performance of unipr...
Todd M. Austin, Gurindar S. Sohi
TLDI
2009
ACM
169views Formal Methods» more  TLDI 2009»
16 years 3 months ago
Relational parametricity for references and recursive types
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
Lars Birkedal, Kristian Støvring, Jacob Tha...
GPCE
2004
Springer
16 years 4 days ago
Generating AspectJ Programs with Meta-AspectJ
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...
David Zook, Shan Shan Huang, Yannis Smaragdakis
ICFP
2001
ACM
16 years 6 months ago
Developing a Stage Lighting System from Scratch
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvem...
Michael Sperber
148
Voted
LCPC
2005
Springer
16 years 7 days ago
Optimizing Packet Accesses for a Domain Specific Language on Network Processors
Programming network processors remains a challenging task since their birth until recently when high-level programming environments for them are emerging. By employing domain speci...
Tao Liu, Xiao-Feng Li, Lixia Liu, Chengyong Wu, Ro...