Sciweavers

1655 search results - page 149 / 331
» Visual tool for generative programming
Sort
View
82
Voted
MASCOTS
2000
15 years 3 months ago
The synTraff Suite of Traffic Modeling Toolkits
This paper describes three visually interactive tools for the analysis, modeling, and generation of long-range dependent (LRD) network traffic. The synTraff toolkit uses a three-s...
Ram Balakrishnan, Carey L. Williamson
AOSD
2010
ACM
15 years 9 months ago
Weaving generic programming and traversal performance
The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...
Bryan Chadwick, Karl J. Lieberherr
TASE
2007
IEEE
15 years 8 months ago
Model Checking Networked Programs in the Presence of Transmission Failures
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
Cyrille Artho, Christian Sommer 0002, Shinichi Hon...
ICCS
2004
Springer
15 years 7 months ago
Evaluating the Performance of Skeleton-Based High Level Parallel Programs
We show in this paper how to evaluate the performance of skeleton-based high level parallel programs. Since many applications follow some commonly used algorithmic skeletons, we id...
Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hi...
EUROMICRO
1996
IEEE
15 years 6 months ago
Efficient Program Composition on Parix by the Ensemble Methodology
A message passing program composition methodology, called Ensemble, applied for Parix is presented. Ensemble overcomes the implementation problems and complexities in developing a...
John Yiannis Cotronis