Sciweavers

3134 search results - page 307 / 627
» Computing full disjunctions
Sort
View
HAPTICS
2007
IEEE
15 years 7 months ago
Effects of Translational and Gripping Force Feedback are Decoupled in a 4-Degree-of-Freedom Telemanipulator
Many high-degree-of-freedom haptic devices and teleoperator systems either do not have grippers or do not provide force feedback in the gripper degree of freedom (DOF). The purpos...
Lawton N. Verner, Allison M. Okamura
AINTEC
2006
Springer
15 years 6 months ago
Application Performance Assessment on Wireless Ad Hoc Networks
Using ad hoc networks as alternative means of communication in disaster situations is a salutary solution. However, analysing application performance is mandatory for evaluating su...
Razvan Beuran, Ken-ichi Chinen, Khin Thida Latt, T...
CASSIS
2004
Springer
15 years 6 months ago
Verification of Safety Properties in the Presence of Transactions
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
Reiner Hähnle, Wojciech Mostowski
CCGRID
2004
IEEE
15 years 6 months ago
Unifier: unifying cache management and communication buffer management for PVFS over InfiniBand
The advent of networking technologies and high performance transport protocols facilitates the service of storage over networks. However, they pose challenges in integration and i...
Jiesheng Wu, Pete Wyckoff, Dhabaleswar K. Panda, R...
DAC
2004
ACM
15 years 6 months ago
An SoC design methodology using FPGAs and embedded microprocessors
In System on Chip (SoC) design, growing design complexity has esigners to start designs at higher abstraction levels. This paper proposes an SoC design methodology that makes full...
Nobuyuki Ohba, Kohji Takano