Sciweavers

984 search results - page 44 / 197
» A Hybrid MPI Simulator
Sort
View
IPPS
1998
IEEE
15 years 4 months ago
Meta-heuristics for Circuit Partitioning in Parallel Test Generation
In this communication Simulated Annealing and Genetic Algorithms, are applied to the graph partitioning problem. These techniques mimic processes in statistical mechanics and biol...
Consolación Gil, Julio Ortega, Antonio F. D...
WSC
2007
15 years 2 months ago
A hybrid inventory control system approach applied to the food industry
The appropriate production and inventory control policy is a key factor for modern enterprises’ success in competitive environment. In the food industry, most of food manufactur...
David Claudio, Jie Zhang, Ying Zhang
WOLLIC
2009
Springer
15 years 6 months ago
Property Driven Three-Valued Model Checking on Hybrid Automata
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
Kerstin Bauer, Raffaella Gentilini, Klaus Schneide...
CDC
2008
IEEE
15 years 6 months ago
Hybrid control of a constrained velocity unicycle with local sensing
— This paper introduces a hybrid control scheme for steering a non-holonomic agent with limited sensing capabilities and input constraints through a stationary but unknown worksp...
Apollo S. Oikonomopoulos, Savvas G. Loizou, Kostas...
MOBIQUITOUS
2007
IEEE
15 years 6 months ago
High Performance AODV Routing Protocol for Hybrid Wireless Mesh Networks
– Hybrid Wireless Mesh Networks are wireless multi-hop networks consisting of two types of nodes, Mesh Routers and Mesh Clients. Mesh Routers are more static and less resource co...
Asad Amir Pirzada, Marius Portmann