Sciweavers

9316 search results - page 1475 / 1864
» Analysis of traceback techniques
Sort
View
EMSOFT
2007
Springer
16 years 27 days ago
Scheduling multiple independent hard-real-time jobs on a heterogeneous multiprocessor
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...
Orlando Moreira, Frederico Valente, Marco Bekooij
ERCIMDL
2007
Springer
85views Education» more  ERCIMDL 2007»
16 years 27 days ago
Supporting Information Management in Digital Libraries with Map-Based Interfaces
—The Self-Organising Map (SOM) has been proposed as an alternative interface for exploring Digital Libraries (DL), in addition to conventional search and browsing. With advanced ...
Rudolf Mayer, Angela Roiger, Andreas Rauber
ESORICS
2007
Springer
16 years 27 days ago
SilentKnock: Practical, Provably Undetectable Authentication
Port knocking is a technique first introduced in the blackhat and trade literature to prevent attackers from discovering and exploiting potentially vulnerable services on a networ...
Eugene Y. Vasserman, Nicholas Hopper, John Laxson,...
EUROCAST
2007
Springer
126views Hardware» more  EUROCAST 2007»
16 years 27 days ago
Determining Orbital Elements of Extrasolar Planets by Evolution Strategies
After the detection of the first extrasolar planet (exoplanet) more than one decade ago we currently know about more than 200 planets around other stars and there are about twenty...
Andreas M. Chwatal, Günther R. Raidl
FMCAD
2007
Springer
16 years 27 days ago
Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, ...
« Prev « First page 1475 / 1864 Last » Next »