Sciweavers

9521 search results - page 211 / 1905
» Compiling with continuations, continued
Sort
View
100
Voted
CAV
2007
Springer
123views Hardware» more  CAV 2007»
15 years 9 months ago
Test Coverage for Continuous and Hybrid Systems
Tarik Nahhal, Thao Dang
78
Voted
CIE
2007
Springer
15 years 9 months ago
A Continuous Derivative for Real-Valued Functions
Abbas Edalat
CPAIOR
2007
Springer
15 years 9 months 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
15 years 9 months ago
A Continuous-Based Approach for Partial Clique Enumeration
Samuel Rota Bulò, Andrea Torsello, Marcello...
HPCC
2007
Springer
15 years 9 months 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