Sciweavers

4908 search results - page 333 / 982
» On the Complexity of Optimal K-Anonymity
Sort
View
ICPPW
2009
IEEE
15 years 4 months ago
Global Multiprocessor Real-Time Scheduling as a Constraint Satisfaction Problem
In this paper we address the problem of global real-time periodic scheduling on heterogeneous multiprocessor platforms. We give a solution based on a constraint satisfaction proble...
Liliana Cucu-Grosjean, Olivier Buffet
CORR
2010
Springer
180views Education» more  CORR 2010»
15 years 4 months ago
XSB: Extending Prolog with Tabled Logic Programming
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
Terrance Swift, David Scott Warren
IEEECIT
2010
IEEE
15 years 4 months ago
SESAM: An MPSoC Simulation Environment for Dynamic Application Processing
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. With the increase...
Nicolas Ventroux, Alexandre Guerre, Tanguy Sassola...
219
Voted
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
15 years 1 months ago
Semiparametric identification of Hammerstein systems using input reconstruction and a single harmonic input
We present a two-step method for identifying SISO Hammerstein systems. First, using a persistent input with retrospective cost optimization, we estimate a parametric model of the l...
Anthony M. D'Amato, Kenny S. Mitchell, Bruno Ot&aa...
CORR
2011
Springer
179views Education» more  CORR 2011»
15 years 1 months ago
Cooperative searching for stochastic targets
Spatial search problems abound in the real world, from locating hidden nuclear or chemical sources to finding skiers after an avalanche. We exemplify the formalism and solution fo...
Vadas Gintautas, Aric A. Hagberg, Luís M. A...