13489 search results - page 172 / 2698 » Operating System |
165
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
193
click to vote
CASES
2009
ACM
16 years 28 days ago
2009
ACM
Coarse-grained reconfigurable architectures (CGRAs) present an appealing hardware platform by providing programmability with the potential for high computation throughput, scalab...
125
click to vote
JFR
2008
15 years 6 months ago
2008
Hot Metal Carriers (HMCs) are large forklift-type vehicles used to move molten metal in aluminium smelters. This paper reports on field experiments that demonstrate that HMCs can ...
289
click to vote
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
To effectively support today's global economy, database systems need to manage data in multiple languages simultaneously. While current database systems do support the storag...
153
click to vote
IROS
2006
IEEE
2006
IEEE
Tele-Operated High Speed Anthropomorphic Dextrous Hands with Object Shape and Texture Identification
16 years 13 days ago
- This paper reports on the development of two Tele-Operated High Speed Anthropomorphic Dextrous robotic hands. The aim of developing these hands was to achieve a system that seaml...