9626 search results - page 1622 / 1926 » Invariant Based Programming |
142
click to vote
ISI
2007
Springer
16 years 25 days ago
2007
Springer
— Surveillance is an important task for guaranteeing the security of individuals. Being able to intelligently monitor the activity in given spaces is essential to achieve such su...
200
click to vote
LCPC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...
215
click to vote
MIDDLEWARE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Developing distributed multiplayer games for ad-hoc networks is challenging. Consistency of the replicated shared state is hard to ensure at a low cost. Current consisten...
187
click to vote
MSN
2007
Springer
16 years 24 days ago
2007
Springer
Success of Wireless Sensor Networks largely depends whether the deployed network can provide desired coverage with acceptable network lifetime. This paper proposes a distributed pr...
185
click to vote
SAT
2007
Springer
16 years 24 days ago
2007
Springer
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...