Sciweavers

1453 search results - page 42 / 291
» State and history in operating systems
Sort
View
83
Voted
SRDS
2005
IEEE
15 years 6 months ago
Fault-tolerance for Stateful Application Servers in the Presence of Advanced Transactions Patterns
Replication is widely used in application server products to tolerate faults. An important challenge is to correctly coordinate replication and transaction execution for stateful ...
Huaigu Wu, Bettina Kemme
109
Voted
FSMNLP
2005
Springer
15 years 6 months ago
Klex: A Finite-State Transducer Lexicon of Korean
This paper describes the implementation and system details of Klex, a finite-state transducer lexicon for the Korean language, developed using XRCE’s Xerox Finite State Tool (XF...
Na-Rae Han
EDBT
2010
ACM
189views Database» more  EDBT 2010»
15 years 5 months ago
Efficient physical operators for cost-based XPath execution
The creation of a generic and modular query optimization and processing infrastructure can provide significant benefits to XML data management. Key pieces of such an infrastructur...
Haris Georgiadis, Minas Charalambides, Vasilis Vas...
87
Voted
ICFP
2005
ACM
16 years 12 days ago
A step-indexed model of substructural state
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
Amal J. Ahmed, Matthew Fluet, Greg Morrisett
ICRA
2007
IEEE
148views Robotics» more  ICRA 2007»
15 years 6 months ago
Remote Low Frequency State Feedback Kinematic Motion Control for Mobile Robot Trajectory Tracking
— Teleoperated robots generally receive high level commands from a remote system, while accomplishing motion control through conventional means. We present a teleoperated system ...
Daniel Montrallo Flickinger, Mark A. Minor