1894 search results - page 259 / 379 » A TLA Proof System |
140
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
- This paper describes the study of the force-closure workspace of a 6-DOF, cable-driven, parallel robot for the application in a hardware-in-the-loop dynamic simulator, which is u...
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
— We report on a system designed for the magnetic control of nanoparticles and nanorods. This is accomplished by arrays of current-carrying wires (electromagnets) and the associa...
119
click to vote
ACSC
2005
IEEE
15 years 10 months ago
2005
IEEE
1 Service discovery protocols are used in distributed systems to locate services for clients. The services that are located as well as the clients requesting service are commonly a...
150
Voted
FPT
2005
IEEE
15 years 9 months ago
2005
IEEE
Designing Systems on-Chip is becoming increasingly popular as die sizes increase and technology sizes decrease. The complexity of integrating different types of Processing Element...
122
click to vote
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...