Sciweavers

959 search results - page 98 / 192
» On the implementation of automatic differentiation tools
Sort
View
135
Voted
ER
1998
Springer
123views Database» more  ER 1998»
15 years 8 months ago
From Object Oriented Conceptual Modeling to Automated Programming in Java
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
Oscar Pastor, Vicente Pelechano, Emilio Insfr&aacu...
139
Voted
FPL
2006
Springer
223views Hardware» more  FPL 2006»
15 years 7 months ago
From Equation to VHDL: Using Rewriting Logic for Automated Function Generation
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
Carlos Morra, M. Sackmann, Sunil Shukla, Jürg...
FMOODS
2007
15 years 5 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
128
Voted
IWFM
1998
15 years 5 months ago
Applications of the TAMPR Transformation System
In this paper we present an overview of the uses of the TAMPR transformation system and present experience with using transformation in industrial applications. TAMPR is a fully a...
Terence J. Harmer, Patrick J. McParland, James M. ...
117
Voted
EUROMICRO
2004
IEEE
15 years 7 months ago
Model-Driven Development of Recursive CORBA Component Assemblies
Software applications can be described as compositions are components at an abstract level. In this paper we present a component modeling process which allows to design, model and...
Gernot Schmoelzer, Egon Teiniker, Stefan Mitterdor...