Sciweavers

2268 search results - page 120 / 454
» The Essence of Form Abstraction
Sort
View
FAC
2002
78views more  FAC 2002»
15 years 1 months ago
A Refinement Calculus for Shared-Variable Parallel and Distributed Programming
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...
Jürgen Dingel
TSMC
2002
143views more  TSMC 2002»
15 years 1 months ago
Robot visual servoing with iterative learning control
Abstract--This paper presents an iterative learning scheme for visionguided robot trajectory tracking. At first, a stability criterion for designing iterative learning controller i...
Ping Jiang, Rolf Unbehauen
CORR
2010
Springer
127views Education» more  CORR 2010»
15 years 4 days ago
Precisely Analyzing Loss in Interface Adapter Chains
Interface adaptation allows code written for one interface to be used with a software component with another interface. When multiple adapters are chained together to make certain...
Yoo Chung
ASPDAC
2010
ACM
141views Hardware» more  ASPDAC 2010»
14 years 11 months ago
An extension of the generalized Hamiltonian method to S-parameter descriptor systems
Abstract-- A generalized Hamiltonian method (GHM) was recently proposed for the passivity test of hybrid descriptor systems [1]. This paper extends the GHM theory to its S-paramete...
Zheng Zhang, Ngai Wong
IFIPTCS
2010
14 years 11 months ago
Concurrent Pattern Calculus
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
Thomas Given-Wilson, Daniele Gorla, Barry Jay