12841 search results - page 196 / 2569 » PL-detective: experiences and results |
258
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
Computational experiments have become an integral part of the scientific method, but reproducing, archiving, and querying them is still a challenge. The first barrier to a wider...
198
click to vote
CCGRID
2008
IEEE
15 years 8 months ago
2008
IEEE
Selection of resources for execution of scientific workflows in data grids becomes challenging with the exponential growth of files as a result of the distribution of scientific e...
139
click to vote
DATE
2005
IEEE
16 years 5 days ago
2005
IEEE
In this paper, we present an accurate but very fast soft error rate (SER) estimation technique for digital circuits based on error propagation probability (EPP) computation. Exper...
145
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
Presynthesis optimizations transform a behavioral HDL description into an optimized HDL description that results in improved synthesis results. In this paper we introduce the decom...
133
click to vote
ISSAC
1994
Springer
15 years 10 months ago
1994
Springer
After four years of experience with the nonassociative algebra program Albert, we highlight its successes and drawbacks. Among its successes are the discovery of several new resul...