160 search results - page 12 / 32 » Exact Real Arithmetic Systems: Results of Competition |
RTAS
2010
IEEE
14 years 9 months ago
2010
IEEE
Providing QoS and performance guarantees to arbitrarily divisible loads has become a significant problem for many cluster-based research computing facilities. While progress is be...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
The Jordan Curve Theorem (JCT) states that a simple closed curve divides the plane into exactly two connected regions. We formalize and prove the theorem in the context of grid gr...
117
click to vote
RTAS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—Recent results have shown that the feasibility problem of scheduling periodic tasks with self-suspensions is NPhard in the strong sense. We observe that a variation of t...
HICSS
2006
IEEE
15 years 5 months ago
2006
IEEE
The adoption of Efficient Consumer Response (ECR) by the grocery industry has become increasingly important in order to stay competitive. Due to the inter-organizational nature of...
CEC
2010
IEEE
15 years 24 days ago
2010
IEEE
We propose an evolutionary method for detection of vehicles in satellite imagery which involves a large number of simple elementary features and multiple detectors trained by genet...