1119 search results - page 46 / 224 » On the Invariance of Ant System |
ICFEM
2010
Springer
14 years 8 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 ...
DANCE
2002
IEEE
15 years 2 months ago
2002
IEEE
Active Networking adds programmability to the elements of the network, most aggressively by using programmable packets, or capsules. ANTS [1, 2] and PLANet [3, 4] are the most mat...
BIRTHDAY
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...
163
click to vote
POPL
2002
ACM
15 years 10 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
70
Voted
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— The paper studies the visibility maintenance problem (VMP) for a leader-follower pair of robots modelled as first-order dynamic systems and proposes an original solution based...