1452 search results - page 49 / 291 » Algorithmic Analysis of Array-Accessing Programs |
DMIN
2006
13 years 11 months ago
2006
Mutation-based Evolutionary Algorithms, also known as Evolutionary Programming (EP) are commonly applied to Artificial Neural Networks (ANN) parameters optimization. This paper pre...
INFOCOM
2005
IEEE
14 years 3 months ago
2005
IEEE
— Multihoming is a popular method used by large enterprises and stub ISPs to connect to the Internet to reduce cost and improve performance. Recently researchers have studied the...
FASE
2010
Springer
14 years 4 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
ENTCS
2010
13 years 4 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...
CIDR
2011
13 years 1 months ago
2011
Distributed programming has become a topic of widespread interest, and many programmers now wrestle with tradeoffs between data consistency, availability and latency. Distributed...