487 search results - page 69 / 98 » Scoping Constructs for Software Generators |
POPL
2007
ACM
14 years 8 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
ICESS
2004
Springer
14 years 29 days ago
2004
Springer
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...
IPPS
1998
IEEE
13 years 12 months ago
1998
IEEE
The increasing size and complexity of high-performance applications have motivated a new round of innovation related to configuration, build, and launch of applications for large ...
WSC
2007
13 years 10 months ago
2007
ExtendSim 7 is a proven simulation environment capable of modeling a wide range of systems. ExtendSim 7 is used to model continuous, discrete event, discrete rate, and agent based...
JUCS
2008
13 years 7 months ago
2008
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...