Sciweavers

9503 search results - page 294 / 1901
» Authenticated System Calls
Sort
View
ICN
2005
Springer
16 years 28 days ago
Paradis-Net
Abstract. This paper describes Paradis-Net, a typed event-driven messagepassing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to...
Guido Malpohl, Florin Isaila
IADIS
2008
15 years 8 months ago
Gapbnf_Rule: A Genetic Miner Rule
The aim of this paper is to present an evolutionary system for classification problem called GAPBNF_Rule. GAPBNF_Rule is a powerful evolutionary method that distinguishes between ...
Rasha Shakir Abdul-Wahhab
FAST
2003
15 years 8 months ago
Passive NFS Tracing of Email and Research Workloads
We present an analysis of a pair of NFS traces of contemporary email and research workloads. We show that although the research workload resembles previouslystudied workloads, the...
Daniel Ellard, Jonathan Ledlie, Pia Malkani, Margo...
HOTOS
2007
IEEE
15 years 11 months ago
Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical
Given that the majority of future processors will contain an abundance of execution cores, redundant execution can offer a promising method for increasing the availability and res...
Jesse Pool, Ian Sin Kwok Wong, David Lie
KBSE
2007
IEEE
16 years 1 months ago
Synthesis of test purpose directed reactive planning tester for nondeterministic systems
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
Jüri Vain, Kullo Raiend, Andres Kull, Juhan P...