Sciweavers

9521 search results - page 211 / 1905
» Compiling with continuations, continued
Sort
View
CAV
2007
Springer
123views Hardware» more  CAV 2007»
16 years 21 days ago
Test Coverage for Continuous and Hybrid Systems
Tarik Nahhal, Thao Dang
CPAIOR
2007
Springer
16 years 21 days ago
A Continuous Multi-resources cumulative Constraint with Positive-Negative Resource Consumption-Production
Abstract. This article first introduces an extension of the classical cumulative constraint: each task is no more a rectangle but rather a sequence of contiguous trapezoid sub-tas...
Nicolas Beldiceanu, Emmanuel Poder
GBRPR
2007
Springer
16 years 20 days ago
A Continuous-Based Approach for Partial Clique Enumeration
Samuel Rota Bulò, Andrea Torsello, Marcello...
HPCC
2007
Springer
16 years 20 days ago
CDACAN: A Scalable Structured P2P Network Based on Continuous Discrete Approach and CAN
Abstract. CAN is a famous structured peer-to-peer network based on ddimensional torus topology with constant degree and logarithmical diameter, but suffers from poor scalability wh...
Lingwei Li, Qunwei Xue, Deke Guo