32032 search results - page 73 / 6407 » Verified programming in Guru |
CSC
2006
15 years 2 months ago
2006
: This work is about an algorithm for solving a linear program which is simple to apply. There are three algorithms in this work. The first algorithm solves a two-variable linear p...
103
Voted
TOPLAS
2010
14 years 11 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
116
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
111
click to vote
FSEN
2009
Springer
15 years 7 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
150
click to vote
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
Particle Swarm Optimisation (PSO) uses a population of particles that fly over the fitness landscape in search of an optimal solution. The particles are controlled by forces tha...