Sciweavers

2740 search results - page 430 / 548
» Approximating Component Selection
Sort
View
98
Voted
BIRTHDAY
2007
Springer
15 years 6 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
EPEW
2007
Springer
15 years 6 months ago
Workload Characterization of the SPECjms2007 Benchmark
Message-oriented middleware (MOM) is at the core of a vast number of financial services and telco applications, and is gaining increasing traction in other industries, such as man...
Kai Sachs, Samuel Kounev, Jean Bacon, Alejandro P....
FPL
2007
Springer
124views Hardware» more  FPL 2007»
15 years 6 months ago
A Quantitative Prediction Model for Hardware/Software Partitioning
An important step in Heterogeneous System Development is Hardware/Software Partitioning. This process involves exploring a huge design space. By using profiling to select hot-spo...
Roel Meeuws, Yana Yankova, Koen Bertels, Georgi Ga...
SG
2007
Springer
15 years 6 months ago
Correlating Text and Images: Concept and Evaluation
This paper presents the concept and an evaluation of a novel approach to support students to understand complex spatial relations and to learn unknown terms of a domain-specific t...
Timo Götzelmann, Pere-Pau Vázquez, Knu...
97
Voted
AINA
2006
IEEE
15 years 6 months ago
Efficacy of Coordinated Distributed Multiple Attacks (A Proactive Approach to Cyber Defense)
In the network-centric approach to information operations, users share information robustly by means of a secure infrastructure that enables self-synchronization and, ultimately, ...
Patrick Defibaugh-Chavez, Srinivas Mukkamala, Andr...