3979 search results - page 185 / 796 » Wild control operators |
169
click to vote
SBCCI
2005
ACM
15 years 11 months ago
2005
ACM
Flow control mechanisms in Network-on-Chip (NoC) architectures are critical for fast packet propagation across the network and for low idling of network resources. Buffer manageme...
150
click to vote
DSN
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
171
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
Self-reconfigurable or metamorphic robots can change their individual and collective shape and size to meet operational demands. Since these robots are constructed from a set of a...
128
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, an adaptive motion force control based approach is proposed to control bilateral teleoperation systems under both position and rate control with arbitrary motion fo...
152
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
We address the dependence of critical infrastructures— including electric power, telecommunications, finance and transportation—on vulnerable information systems. Our approach...