Sciweavers

2271 search results - page 243 / 455
» Scalable Software Libraries
Sort
View
SFP
2004
15 years 5 months ago
Generic proofs for combinator-based generic programs
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
Fermín Reig
WSC
2001
15 years 5 months ago
A framework for distributed simulation optimization
The system presented bridges the gap between three different research areas: discrete event simulation, heuristic optimization methods and distributed systems technology. Its goal...
Björn Gehlsen, Bernd Page
WIESS
2000
15 years 5 months ago
HP Caliper: An Architecture for Performance Analysis Tools
HP Caliper is an architecture for software developer tools that deal with executable (binary) programs. It provides a common framework that allows building of a wide variety of to...
Robert Hundt
WSC
1997
15 years 5 months ago
Using SiMPLE++ for Improved Modeling Efficiencies and Extending Model Life Cycles
SiMPLE++ is an object-oriented simulation environment for modeling all types of manufacturing, logistics and service systems. AESOP’s SiMPLE++ is a fully object-oriented impleme...
David R. Kalasky, Gerald A. Levasseur
ECEASST
2008
171views more  ECEASST 2008»
15 years 4 months ago
Type Checking C++ Template Instantiation by Graph Programs
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
Karl Azab, Karl-Heinz Pennemann