29046 search results - page 406 / 5810 » Computable Models |
157
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...
156
Voted
EUROPAR
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper describes a software architecture that allows image processing researchers to develop parallel applications in a transparent manner. The architecture’s main ...
136
click to vote
FPL
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents new achievements on the automatic mapping of algorithms, written in imperative software programming languages, to custom computing machines. The reconfigurable ...
137
Voted
FSTTCS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
158
click to vote
LOPSTR
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...