959 search results - page 126 / 192 » On the implementation of automatic differentiation tools |
107
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
This paper presents a method and a tool for designing and automatically creating an HTML web site for publishing Semantic Web content represented in RDF(S). The idea is to specify...
117
click to vote
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
146
Voted
CHES
2009
Springer
15 years 10 months ago
2009
Springer
Power-based side channel attacks are a significant security risk, especially for embedded applications. To improve the security of such devices, protected logic styles have been p...
123
Voted
CSMR
2009
IEEE
15 years 10 months ago
2009
IEEE
It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difficult and ther...
117
Voted
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...