Sciweavers

3040 search results - page 171 / 608
» Independent Natural Extension
Sort
View
ACSD
2008
IEEE
114views Hardware» more  ACSD 2008»
14 years 5 months ago
Modeling and verifying asynchronous communication mechanisms using coloured Petri nets
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
Kyller Costa Gorgônio, Fei Xia
CDC
2008
IEEE
114views Control Systems» more  CDC 2008»
14 years 5 months ago
A repetitive process approach to the control of self-servowriting in disk drives
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
Krzysztof Galkowski, Wojciech Paszke, Eric Rogers
DEXAW
2008
IEEE
98views Database» more  DEXAW 2008»
14 years 5 months ago
Interface for Multidisciplinary Virtual Prototype Components
Computer-based concurrent engineering of products, denoted as Virtual Engineering (VE), is used extensively to meet the requirements of product development. Current research deals...
Stephan Vornholt, Ingolf Geist
ICC
2008
IEEE
128views Communications» more  ICC 2008»
14 years 5 months ago
Quality-of-Service Routing with Two Concave Constraints
—Routing is a process of finding a network path from a source node to a destination node. A good routing protocol should find the “best path” from a source to a destination...
Ka-Chung Leung, King-Shan Lui, Ka-Cheong Leung, Fr...
ICRA
2008
IEEE
141views Robotics» more  ICRA 2008»
14 years 5 months ago
Reciprocal Velocity Obstacles for real-time multi-agent navigation
— In this paper, we propose a new concept — the “Reciprocal Velocity Obstacle”— for real-time multi-agent navigation. We consider the case in which each agent navigates i...
Jur P. van den Berg, Ming C. Lin, Dinesh Manocha