Sciweavers

640 search results - page 61 / 128
» Access Control for Active Spaces
Sort
View
NETWORKING
2004
13 years 10 months ago
Improving Distributed Firewalls Performance through Vertical Load Balancing
In this paper we present an extension to an existing hash based packet classification technique in order to improve its performance in a distributed network access control environm...
Olivier Paul
RTSS
2008
IEEE
14 years 3 months ago
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian
CAV
2008
Springer
96views Hardware» more  CAV 2008»
13 years 11 months ago
Monitoring Atomicity in Concurrent Programs
We study the problem of monitoring concurrent program runs for atomicity violations. Unearthing fundamental results behind scheduling algorithms in database control, we build space...
Azadeh Farzan, P. Madhusudan
IPPS
2006
IEEE
14 years 2 months ago
SAMIE-LSQ: set-associative multiple-instruction entry load/store queue
The load/store queue (LSQ) is one of the most complex parts of contemporary processors. Its latency is critical for the processor performance and it is usually one of the processo...
Jaume Abella, Antonio González
SAB
2010
Springer
156views Optimization» more  SAB 2010»
13 years 7 months ago
Co-development of Linguistic and Behavioural Skills: Compositional Semantics and Behaviour Generalisation
Abstract. Population of simulated agents controlled by dynamical neural networks are trained by artificial evolution to access linguistic instructions and to execute them by indic...
Elio Tuci, Tomassino Ferrauto, Gianluca Massera, S...