7103 search results - page 424 / 1421 » Components and Generative Programming |
205
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
167
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
182
click to vote
EVOW
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper presents a novel hybrid approach for solving the Container Loading (CL) problem based on the combination of Integer Linear Programming (ILP) and Genetic Algori...
187
click to vote
LPNMR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
178
click to vote
ICCS
2004
Springer
16 years 6 days ago
2004
Springer
We show in this paper how to evaluate the performance of skeleton-based high level parallel programs. Since many applications follow some commonly used algorithmic skeletons, we id...