Sciweavers

2797 search results - page 93 / 560
» Control Structures
Sort
View
ISCAS
2007
IEEE
142views Hardware» more  ISCAS 2007»
15 years 8 months ago
A Low Power Domino with Differential-Controlled-Keeper
— Domino circuits are used to achieve higher system performance than static CMOS techniques. This work briefly surveys domino keeper designs for high fan-in domino circuits. A ne...
Peiyi Zhao, Jason McNeely, Magdy A. Bayoumi, Golco...
DFG
2004
Springer
15 years 6 months ago
A Formal Component Concept for the Specification of Industrial Control Systems
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
Benjamin Braatz, Markus Klein, Gunnar Schröte...
TCS
2008
15 years 2 months ago
Spatial-behavioral types for concurrency and resource control in distributed systems
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
Luís Caires
VLDB
2004
ACM
245views Database» more  VLDB 2004»
15 years 7 months ago
A Multi-Purpose Implementation of Mandatory Access Control in Relational Database Management Systems
Mandatory Access Control (MAC) implementations in Relational Database Management Systems (RDBMS) have focused solely on Multilevel Security (MLS). MLS has posed a number of challe...
Walid Rjaibi, Paul Bird
ICRA
1995
IEEE
115views Robotics» more  ICRA 1995»
15 years 5 months ago
Nonlinear Feedback Control of a Biped Walking Robot
An implementation of a biped robot which as capable of dynamic walking by a simple nonlinear control algorithm. is presented. Four D.C. servo motors actuate the knee and ankle joi...
Kazuhisa Mitobe, Naoki Mori, Kouichi Aida, Yasuo N...