959 search results - page 118 / 192 » On the implementation of automatic differentiation tools |
116
click to vote
AISC
2006
Springer
15 years 7 months ago
2006
Springer
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...
122
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
142
click to vote
ICIA
2007
15 years 6 months ago
2007
Although there are high expectations for collaborative discussion and on-line learning, existing systems for on-line discussion and chat facilities are not fully effective in prom...
124
click to vote
WSC
2007
15 years 6 months ago
2007
Fluctuations of work-in-progress (WIP) levels cause variability of cycle time and often lead to productivity losses in semiconductor wafer fabrication plants. To identify sources ...
133
click to vote
EICS
2010
ACM
15 years 5 months ago
2010
ACM
We propose an approach that takes as input a task model, which includes the user's view of the interactive system, and automatically discovers a set of categorized and ranked...