Sciweavers

8540 search results - page 1312 / 1708
» The Dynamic Servers Problem
Sort
View
ESWS
2007
Springer
15 years 11 months ago
Developing Ontologies for Collaborative Engineering in Mechatronics
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...
Violeta Damjanovic, Wernher Behrendt, Manuela Pl&o...
FCT
2007
Springer
15 years 11 months ago
Rewriting Systems with Data
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Miha...
FPL
2007
Springer
138views Hardware» more  FPL 2007»
15 years 11 months ago
Bringing High-Performance Reconfigurable Computing to Exact Computations
Numerical non-robustness is a recurring phenomenon in scientific computing. It is primarily caused by numerical errors arising because of fixed-precision arithmetic in integer and...
Esam El-Araby, Ivan Gonzalez, Tarek A. El-Ghazawi
132
Voted
GECCO
2007
Springer
140views Optimization» more  GECCO 2007»
15 years 11 months ago
Peer-to-peer evolutionary algorithms with adaptive autonomous selection
In this paper we describe and evaluate a fully distributed P2P evolutionary algorithm (EA) with adaptive autonomous selection. Autonomous selection means that decisions regarding ...
W. R. M. U. K. Wickramasinghe, Maarten van Steen, ...
HPCC
2007
Springer
15 years 11 months ago
MC2DR: Multi-cycle Deadlock Detection and Recovery Algorithm for Distributed Systems
Abstract. Even though there have been many research works on distributed deadlock detection and recovery mechanisms, the multi-cycle deadlock problems are not extensively studied y...
Md. Abdur Razzaque, Md. Mamun-Or-Rashid, Choong Se...
« Prev « First page 1312 / 1708 Last » Next »