1022 search results - page 156 / 205 » Challenges for Constraint Programming in Networking |
91
Voted
ICFEM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
115
Voted
SAS
2010
Springer
14 years 11 months ago
2010
Springer
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
135
click to vote
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— Multiple description coding (MDC) has emerged as a powerful technique for reliable real-time communications over lossy packet networks. In its basic form, it involves encoding ...
MM
2006
ACM
15 years 6 months ago
2006
ACM
Through a defined research process we designed objects that behave and respond in specific ways and are part of a networked system that emphasizes autonomous and flocking behavior...
108
click to vote
DCC
2008
IEEE
16 years 3 days ago
2008
IEEE
Multiple description coding (MDC) has emerged as a powerful technique for reliable real-time communications over lossy packet networks. In its basic form, it involves encoding a me...