Sciweavers

1012 search results - page 100 / 203
» Identification of System Software Components Using Clusterin...
Sort
View
132
Voted
ISCAPDCS
2003
15 years 3 months ago
Efficient Data Allocation for a Cluster of Workstations
The development and use of cluster based computing is increasingly becoming an effective approach for solving high performance computing problems. The trend of moving away from sp...
Ahmed M. Mohamed, Reda A. Ammar, Lester Lipsky
115
Voted
ICSEA
2007
IEEE
15 years 8 months ago
Diapason: an Engineering Approach for Designing, Executing and Evolving Service-Oriented Architectures
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServiceOriented Archite...
Frédéric Pourraz, Hervé Verju...
FORTEST
2008
15 years 3 months ago
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
Margus Veanes, Colin Campbell, Wolfgang Grieskamp,...
CODES
2001
IEEE
15 years 5 months ago
A practical tool box for system level communication synthesis
This paper presents a practical approach to communication synthesis for hardware/software system specified as tasks communicating through lossless blocking channels. It relies on ...
Denis Hommais, Frédéric Pétro...
122
Voted
ROBOCUP
2005
Springer
90views Robotics» more  ROBOCUP 2005»
15 years 7 months ago
Real-Time Diagnosis and Repair of Faults of Robot Control Software
Faults in hardware and software are not totally avoidable not even if the components are carefully designed, implemented and tested. In this paper we present a solution for detecti...
Gerald Steinbauer, Martin Mörth, Franz Wotawa