Sciweavers

1701 search results - page 9 / 341
» Computer Science and State Machines
Sort
View
123
Voted
PAAPP
2007
115views more  PAAPP 2007»
15 years 2 months ago
Quantum computing: beyond the limits of conventional computation
The quantum model of computation not only o ers entirely new ways to manipulate information, but also allows information processing tasks to be formulated in unconventional, genui...
Marius Nagy, Selim G. Akl
105
Voted
SOFSEM
2009
Springer
15 years 11 months ago
A Machine Checked Soundness Proof for an Intermediate Verification Language
Frédéric Vogels, Bart Jacobs 0002, F...
80
Voted
FOCS
2004
IEEE
15 years 6 months ago
Machine Minimization for Scheduling Jobs with Interval Constraints
Julia Chuzhoy, Sudipto Guha, Sanjeev Khanna, Josep...
110
Voted
TCS
2010
14 years 9 months ago
Theory of one-tape linear-time Turing machines
Kohtaro Tadaki, Tomoyuki Yamakami, Jack C. H. Lin
ERSHOV
2009
Springer
15 years 9 months ago
Multi-level Virtual Machine Debugging Using the Java Platform Debugger Architecture
Abstract. Debugging virtual machines (VMs) presents unique challenges, especially meta-circular VMs, which are written in the same language they implement. Making sense of runtime ...
Thomas Würthinger, Michael L. Van De Vanter, ...