1022 search results - page 184 / 205 » Challenges for Constraint Programming in Networking |
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Many large-scale production applications often have very long executions times and require periodic data checkpoints in order to save the state of the computation for program rest...
122
click to vote
MIDDLEWARE
2007
Springer
15 years 6 months 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...
ARC
2010
Springer
15 years 3 months ago
2010
Springer
As reconfigurable computing hardware and in particular FPGA-based systems-on-chip comprise an increasing number of processor and accelerator cores, supporting sharing and synchroni...
88
Voted
DATE
2010
IEEE
15 years 20 days ago
2010
IEEE
—Due to increase in demand for reconfigurability in embedded systems, real-time task scheduling is challenged by non-negligible reconfiguration overheads. If such overheads are n...
100
click to vote
CCR
2004
15 years 9 days ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...