Sciweavers

5159 search results - page 449 / 1032
» Structural Testing of Executables
Sort
View
IVA
2010
Springer
15 years 6 months ago
Using Artificial Team Members for Team Training in Virtual Environments
In a good team, members do not only perform their individual task, they also coordinate their actions with other members of the team. Developing such team skills usually involves e...
Jurriaan van Diggelen, Tijmen Muller, Karel van de...
OTM
2010
Springer
15 years 5 months ago
Towards Evaluating GRASIM for Ontology-Based Data Matching
The GRASIM (Graph-Aided Similarity calculation) algorithm is designed to solve the problem of ontology-based data matching. We subdivide the matching problem into the ones of restr...
Yan Tang
ASWEC
2009
IEEE
15 years 5 months ago
From Requirements to Embedded Software - Formalising the Key Steps
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
Toby Myers, R. Geoff Dromey
EGH
2009
Springer
15 years 5 months ago
Efficient stream compaction on wide SIMD many-core architectures
Stream compaction is a common parallel primitive used to remove unwanted elements in sparse data. This allows highly parallel algorithms to maintain performance over several proce...
Markus Billeter, Ola Olsson, Ulf Assarsson
CORR
2010
Springer
105views Education» more  CORR 2010»
15 years 5 months ago
On Designing Multicore-aware Simulators for Biological Systems
The stochastic simulation of biological systems is an increasingly popular technique in bioinformatics. It often is an enlightening technique, which may however result in being com...
Marco Aldinucci, Mario Coppo, Ferruccio Damiani, M...