5109 search results - page 834 / 1022 » On Learning Limiting Programs |
121
click to vote
INFOSCALE
2006
ACM
15 years 10 months ago
2006
ACM
Abstract— Comparing genetic sequences is a well-known problem in bioinformatics. Newly determined sequences are being compared to known sequences stored in databases in order to ...
159
click to vote
PPPJ
2006
ACM
15 years 10 months ago
2006
ACM
Today’s complex applications must face the distribution of data and code among different network nodes. Java is a wide-spread language that allows developers to build complex so...
129
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
130
click to vote
CLUSTER
2005
IEEE
15 years 10 months ago
2005
IEEE
The Portals data movement interface was developed at Sandia National Laboratories in collaboration with the University of New Mexico over the last ten years. Portals is intended t...
128
click to vote
ICPPW
2005
IEEE
15 years 10 months ago
2005
IEEE
We report on a £rst parallel implementation of a recent algorithm to factor positive dimensional solution sets of polynomial systems. As the algorithm uses homotopy continuation,...