Sciweavers

703 search results - page 108 / 141
» Automatic Generation of Block-Recursive Codes
Sort
View
CASCON
1992
163views Education» more  CASCON 1992»
13 years 8 months ago
Practical metaprogramming
Metaprogramming is the process of specifying generic software source templates from which classes of software components, or parts thereof, can be automatically instantiated to pr...
James R. Cordy, Medha Shukla
DSN
2009
IEEE
14 years 2 months ago
LFI: A practical and general library-level fault injector
Fault injection, a critical aspect of testing robust systems, is often overlooked in the development of generalpurpose software. We believe this is due to the absence of easy-to-u...
Paul Dan Marinescu, George Candea
ECOWS
2009
Springer
14 years 2 months ago
Specifying and Monitoring Temporal Properties in Web Services Compositions
—Current Web service composition approaches and languages such as WS-BPEL do not allow to define temporal constraints in a declarative and separate way. Also it is not possible ...
Slim Kallel, Anis Charfi, Tom Dinkelaker, Mira Mez...
ITNG
2008
IEEE
14 years 1 months ago
A Minimalist Visual Notation for Design Patterns and Antipatterns
Achieving a quality software system requires UML designers a good understanding of both design patterns and antipatterns. Unfortunately, UML models for real systems tend to be huge...
Demis Ballis, Andrea Baruzzo, Marco Comini
EUROPAR
2005
Springer
14 years 28 days ago
SPC-XML: A Structured Representation for Nested-Parallel Programming Languages
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
Arturo González-Escribano, Arjan J. C. van ...