Sciweavers

1892 search results - page 77 / 379
» Warren's Abstract Machine
Sort
View
87
Voted
IEEESP
2008
89views more  IEEESP 2008»
15 years 3 months ago
Virtual Machine Introspection: Observation or Interference?
hardware, eliminating an abstraction layer and often improving efficiency as a result. Examples of type 1 systems include VMware ESX,3 Xen (www. xensource.com/xen/xen/nfamily/virtu...
Kara L. Nance, Matt Bishop, Brian Hay
125
Voted
CORR
1999
Springer
120views Education» more  CORR 1999»
15 years 3 months ago
A Machine-Independent Debugger--Revisited
Most debuggers are notoriously machine-dependent, but some recent research prototypes achieve varying degrees of machine-independence with novel designs. Cdb, a simple source-leve...
David R. Hanson
TSD
2010
Springer
15 years 1 months ago
Using TectoMT as a Preprocessing Tool for Phrase-Based Statistical Machine Translation
Abstract. We present a systematic comparison of preprocessing techniques for two language pairs: English-Czech and English-Hindi. The two target languages, although both belonging ...
Daniel Zeman
ATMOS
2007
177views Optimization» more  ATMOS 2007»
15 years 4 months ago
Approximate dynamic programming for rail operations
Abstract. Approximate dynamic programming offers a new modeling and algorithmic strategy for complex problems such as rail operations. Problems in rail operations are often modeled...
Warren B. Powell, Belgacem Bouzaïene-Ayari
AMAST
2000
Springer
15 years 7 months ago
Step by Step to Histories
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...
Max Breitling, Jan Philipps