Sciweavers

959 search results - page 89 / 192
» On the implementation of automatic differentiation tools
Sort
View
129
Voted
KBSE
2006
IEEE
15 years 9 months ago
Model-driven Monitoring: Generating Assertions from Visual Contracts
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
Marc Lohmann, Gregor Engels, Stefan Sauer
125
Voted
GI
2004
Springer
15 years 9 months ago
Automating the Development of Web Service Compositions Using Templates
: The development of Web Service compositions has not yet been automated. Web Service-based process definitions can be created automatically using Web Service compositions template...
Dimka Karastoyanova, Alejandro P. Buchmann
100
Voted
SPIN
2000
Springer
15 years 7 months ago
Runtime Checking of Multithreaded Applications with Visual Threads
Multithreaded applications are notoriously difficult to design and build while avoiding defects. Many of Compaq's customers need to employ threads to implement high-performanc...
Jerry J. Harrow
127
Voted
WCRE
2006
IEEE
15 years 9 months ago
Mining Control Flow Graphs for Crosscutting Concerns
Aspect mining tries to identify crosscutting concerns in existing systems and thus supports the adaption to an aspect-oriented design. This paper describes an automatic static asp...
Jens Krinke
131
Voted
ISVLSI
2005
IEEE
69views VLSI» more  ISVLSI 2005»
15 years 9 months ago
Pipelined Memory Controllers for DSP Applications Handling Unpredictable Data Accesses
Multimedia applications are often characterized by a large number of data accesses with regular and periodic access patterns. In these cases, optimized pipelined memory access con...
Bertrand Le Gal, Emmanuel Casseau, Sylvain Huet, E...