173 search results - page 7 / 35 » Inferring Network Invariants Automatically |
ICFEM
2010
Springer
13 years 5 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 ...
HPDC
2005
IEEE
14 years 29 days ago
2005
IEEE
Optical networking may dramatically change high performance distributed computing. One reason is that optical networks can support provisioning dynamically configurable lightpath...
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
— In-place learning is a biologically inspired concept, meaning that the computational network is responsible for its own learning. With in-place learning, there is no need for a...
SASO
2010
IEEE
13 years 5 months ago
2010
IEEE
Many large-scale distributed systems have been built with great complexity to run Internet services. Due to the heterogeneity and dynamics of complex systems, it is very difficult ...
ICSE
2011
IEEE-ACM
12 years 10 months ago
2011
IEEE-ACM
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...