959 search results - page 161 / 192 » On the implementation of automatic differentiation tools |
240
Voted
AVI
2000
15 years 5 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
132
Voted
FTCS
1998
15 years 5 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
191
Voted
AAIP
2009
15 years 4 months ago
2009
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...
162
Voted
HASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
121
Voted
CGF
2008
15 years 3 months ago
2008
We present an interface for 3D object manipulation in which standard transformation tools are replaced with transient 3D widgets invoked by sketching context-dependent strokes. Th...