Sciweavers

2212 search results - page 68 / 443
» Automated software wrapping
Sort
View
HICSS
2007
IEEE
176views Biometrics» more  HICSS 2007»
15 years 6 months ago
Automated Testing of Generic Computational Science Libraries
The design and maintenance of large computational science systems can be aided greatly by the use of generic computational science libraries. The objectoriented design of software...
Kirk Sayre, Jesse H. Poore
KBSE
2006
IEEE
15 years 5 months ago
Automated Reasoning on Aspects Interactions
The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subt...
Paolo Falcarin, Marco Torchiano
ICCS
2003
Springer
15 years 4 months ago
Automated Generation of Kinetic Chemical Mechanisms Using Rewriting
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
Olivier Bournez, Guy-Marie Côme, Valé...
ISQED
2002
IEEE
129views Hardware» more  ISQED 2002»
15 years 4 months ago
Design Method and Automation of Comparator Generation for Flash A/D Converter
The design methods and the automation of the comparator circuit layout generation for a flash A/D converter are presented in this paper. The threshold inverter quantization (TIQ)...
Daegyu Lee, Jincheol Yoo, Kyusun Choi
COMPSAC
2000
IEEE
15 years 4 months ago
Automating Scenario-Driven Structured Requirements Engineering
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
Hong Zhu, Lingzi Jin