Sciweavers

3482 search results - page 412 / 697
» Cooperative Assembly Systems
Sort
View
GECCO
2007
Springer
173views Optimization» more  GECCO 2007»
16 years 26 days ago
A hybrid GA for a supply chain production planning problem
The problem of production and delivery lot-sizing and scheduling of set of items in a two-echelon supply chain over a finite planning horizon is addressed in this paper. A single ...
Masoud Jenabi, S. Ali Torabi, S. Afshin Mansouri
TACAS
2007
Springer
105views Algorithms» more  TACAS 2007»
16 years 25 days ago
Hoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
Magnus O. Myreen, Michael J. C. Gordon
DATE
2006
IEEE
113views Hardware» more  DATE 2006»
16 years 23 days ago
An interprocedural code optimization technique for network processors using hardware multi-threading support
Sophisticated C compiler support for network processors (NPUs) is required to improve their usability and consequently, their acceptance in system design. Nonetheless, high-level ...
Hanno Scharwächter, Manuel Hohenauer, Rainer ...
DEXAW
2006
IEEE
129views Database» more  DEXAW 2006»
16 years 23 days ago
Interaction Styles for Service Discovery in Mobile Business Applications
As the power of mobile devices continues to grow, and the range of resources accessible via wireless networks expands, there is an increasing need to offer services to users in a ...
Markus Aleksy, Colin Atkinson, Philipp Bostan, Tho...
163
Voted
ICRA
2006
IEEE
128views Robotics» more  ICRA 2006»
16 years 22 days ago
Distributed Construction by Mobile Robots with Enhanced Building Blocks
— We describe a system in which autonomous robots assemble two-dimensional structures out of square building blocks. A fixed set of local control rules is sufficient for a grou...
Justin Werfel, Yaneer Bar-Yam, Daniela Rus, Radhik...