3335 search results - page 251 / 667 » Grid result checking |
155
click to vote
CADE
2008
Springer
15 years 7 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
147
Voted
TODAES
2008
15 years 5 months ago
2008
A new efficient algorithm is derived for the minimal period retiming by formal manipulation. Contrary to all previous algorithms, which used binary search on a range of candidate ...
TIP
1998
15 years 5 months ago
1998
— In this correspondence, we present a general recursive approach for image segmentation by extending Otsu’s method. The new approach has been implemented in the scope of docum...
169
click to vote
IPPS
2007
IEEE
15 years 12 months ago
2007
IEEE
For a grid middleware to perform resource allocation, prediction models are needed, which can determine how long an application will take for completion on a particular platform o...
187
click to vote
EAGC
2003
Springer
15 years 10 months ago
2003
Springer
Application layer networks are software architectures that allow the provisioning of services requiring a huge amount of resources by connecting large numbers of individual compute...