Sciweavers

6740 search results - page 374 / 1348
» Using Classification as a Programming Language
Sort
View
115
Voted
ASPLOS
2010
ACM
15 years 10 months ago
Dynamic filtering: multi-purpose architecture support for language runtime systems
This paper introduces a new abstraction to accelerate the readbarriers and write-barriers used by language runtime systems. We exploit the fact that, dynamically, many barrier exe...
Tim Harris, Sasa Tomic, Adrián Cristal, Osm...
115
Voted
TOOLS
1999
IEEE
15 years 7 months ago
Constraint Diagrams: A Step Beyond UML
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
Joseph Gil, John Howse, Stuart Kent
148
Voted
IFIP
2000
Springer
15 years 7 months ago
Component Technology for High-Performance Scientific Simulation Software
We are developing scientific software component technology to manage the complexity of modern, parallel simulation software and increase the interoperability and re-use of scientif...
Thomas Epperly, Scott R. Kohn, Gary Kumfert
127
Voted
PLDI
2010
ACM
16 years 26 days ago
Type-preserving Compilation for End-to-end Verification of Security Enforcement
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
Juan Chen, Ravi Chugh, Nikhil Swamy
SIGSOFT
2002
ACM
16 years 4 months ago
Improving program slicing with dynamic points-to data
Program slicing is a potentially useful analysis for aiding program understanding. However, slices of even small programs are often too large to be generally useful. Imprecise poi...
Markus Mock, Darren C. Atkinson, Craig Chambers, S...