959 search results - page 132 / 192 » On the implementation of automatic differentiation tools |
138
click to vote
APN
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
159
click to vote
ENTCS
2007
15 years 3 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
127
click to vote
W4A
2006
ACM
15 years 10 months ago
2006
ACM
Developing Web pages following established standards can make the information more accessible, their rendering more efficient, and their processing by computer applications easier...
150
click to vote
WOSP
2005
ACM
15 years 9 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
144
click to vote
ASAP
2003
IEEE
15 years 9 months ago
2003
IEEE
At the Leiden Embedded Research Center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn Proces...