Sciweavers

2613 search results - page 190 / 523
» Proposal for Tools Supporting Component Based Programming
Sort
View
PC
2006
96views Management» more  PC 2006»
15 years 6 months ago
Modeling Master/Worker applications for automatic performance tuning
Parallel application development is a very difficult task for non-expert programmers, and therefore support tools are needed for all phases of this kind of application development...
Eduardo César, Andreu Moreno, Joan Sorribes...
ESOP
2010
Springer
16 years 3 months ago
Amortised Resource Analysis with Separation Logic
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
Robert Atkey
DFT
2002
IEEE
128views VLSI» more  DFT 2002»
15 years 11 months ago
Matrix-Based Test Vector Decompression Using an Embedded Processor
This paper describes a new compression/decompression methodology for using an embedded processor to test the other components of a system-on-a-chip (SoC). The deterministic test v...
Kedarnath J. Balakrishnan, Nur A. Touba
POPL
2007
ACM
16 years 6 months ago
Modular type classes
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
Derek Dreyer, Robert Harper, Manuel M. T. Chakrava...
TOOLS
2000
IEEE
15 years 10 months ago
Java Multi-Method Framework
— In Java, method implementations are chosen at runtime by late-binding with respect to the runtime class of just the receiver argument. However, in order to simplify many progra...
Rémi Forax, Étienne Duris, Gilles Ro...