Sciweavers

7189 search results - page 1095 / 1438
» Connecting Design with Code
Sort
View
LACL
2001
Springer
15 years 9 months ago
Combinators for Paraconsistent Attitudes
Abstract. In order to analyse the semantics of natural language sentences a translation into a partial type logic using lexical and logical combinators is presented. The sentences ...
Jørgen Villadsen
130
Voted
DSN
2000
IEEE
15 years 9 months ago
Data Replication Strategies for Fault Tolerance and Availability on Commodity Clusters
Recent work has shown the advantages of using persistent memory for transaction processing. In particular, the Vista transaction system uses recoverable memory to avoid disk I/O, ...
Cristiana Amza, Alan L. Cox, Willy Zwaenepoel
INFOCOM
2000
IEEE
15 years 9 months ago
Efficient Handoff Rerouting Algorithms: A Competitive On-Line Algorithmic Approach
—This paper considers the design of handoff rerouting algorithms for reducing the overall session cost in personal communication systems (PCS). Most modern communication systems ...
Yigal Bejerano, Israel Cidon, Joseph Naor
MSS
2000
IEEE
106views Hardware» more  MSS 2000»
15 years 9 months ago
Disk Subsystem Performance Evaluation: From Disk Drives to Storage Area Networks
Disk subsystems span the range of configuration complexity from single disk drives to large installations of disk arrays. They can be directly attached to individual computer syst...
Thomas Ruwart
PG
2000
IEEE
15 years 9 months ago
Interactive Manipulation Planning for Animated Characters
We present a brief overview of an algorithm for interactively animating object grasping and manipulation tasks for human figures. The technique is designed to efficiently genera...
James J. Kuffner Jr., Jean-Claude Latombe
« Prev « First page 1095 / 1438 Last » Next »