9626 search results - page 1486 / 1926 » Invariant Based Programming |
165
click to vote
CAISE
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Overlay networks are an important kind of P2P infrastructures. The range of applications and requirements is broad. Consequently, our research objective are overlay netwo...
169
click to vote
CP
2005
Springer
16 years 12 days ago
2005
Springer
Classical methods for solving numerical CSPs are based on a branch and prune algorithm, a dichotomic enumeration process interleaved with a consistency filtering algorithm. In man...
150
click to vote
EMSOFT
2005
Springer
16 years 12 days ago
2005
Springer
Microservers are networked embedded devices that accept user tasks on demand and execute them on real world information collected by sensors. Sharing intermediate sensing and comp...
153
click to vote
FPL
2005
Springer
16 years 12 days ago
2005
Springer
This paper describes a method based on polynomial approximation for transferring ROM resources used in FPGA designs to multiplication and addition operations. The technique can be...
146
click to vote
GECCO
2005
Springer
16 years 12 days ago
2005
Springer
Reactive real-time systems have to react to external events within time constraints: Triggered tasks must execute within deadlines. The goal of this article is to automate, based ...