903 search results - page 126 / 181 » Completeness Results for Memory Logics |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The paper investigates a novel approach, based on Constraint Logic Programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments ar...
CADE
2012
Springer
11 years 11 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
TMC
2012
11 years 11 months ago
2012
In this paper we study the availability of TV white spaces in Europe. Specifically, we focus on the 470–790 MHz UHF band, which will predominantly remain in use for TV broadcas...
PADS
2005
ACM
14 years 2 months ago
2005
ACM
Simulation of large-scale networks requires enormous amounts of memory and processing time. One way of speeding up these simulations is to distribute the model over a number of co...
JUCS
2000
13 years 8 months ago
2000
: This paper presents an evaluation of our Scheduled Dataflow (SDF) Processor. Recent focus in the field of new processor architectures is mainly on VLIW (e.g. IA-64), superscalar ...