253 search results - page 33 / 51 » Imperative self-adjusting computation |
EDCC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
EDO
2005
Springer
14 years 1 months ago
2005
Springer
re connector is an abstraction capturing interactions among components. Apart from middleware independence, connectors provide additional services (e.g., adaptation, synchronizati...
ICS
2005
Tsinghua U.
14 years 1 months ago
2005
Tsinghua U.
Given the importance of parallel mesh generation in large-scale scientific applications and the proliferation of multilevel SMTbased architectures, it is imperative to obtain ins...
LCPC
2005
Springer
14 years 1 months ago
2005
Springer
With the growing popularity of streaming data model, processing queries over streaming data has become an important topic. Streaming data has received attention in a number of comm...
SPIN
2005
Springer
14 years 1 months ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...