Sciweavers

9521 search results - page 152 / 1905
» Compiling with continuations, continued
Sort
View
SIGOPS
2008
95views more  SIGOPS 2008»
15 years 3 months ago
Virtual machine time travel using continuous data protection and checkpointing
Virtual machine (VM) time travel enables reverting a virtual machine's state, both transient and persistent, to past points in time. This capability can be used to improve vi...
Paula Ta-Shma, Guy Laden, Muli Ben-Yehuda, Michael...
ANOR
2005
89views more  ANOR 2005»
15 years 3 months ago
Logic-Based Modeling and Solution of Nonlinear Discrete/Continuous Optimization Problems
This paper presents a review of advances in the mathematical programming approach to discrete/continuous optimization problems. We first present a brief review of MILP and MINLP f...
Sangbum Lee, Ignacio E. Grossmann
COMBINATORICS
2000
114views more  COMBINATORICS 2000»
15 years 2 months ago
Restricted Permutations, Continued Fractions, and Chebyshev Polynomials
Let fr n(k) be the number of 132-avoiding permutations on n letters that contain exactly r occurrences of 12 . . . k, and let Fr(x; k) and F (x, y; k) be the generating functions d...
Toufik Mansour, Alek Vainshtein
COMBINATORICS
2002
71views more  COMBINATORICS 2002»
15 years 2 months ago
Permutations Which Avoid 1243 and 2143, Continued Fractions, and Chebyshev Polynomials
Several authors have examined connections between permutations which avoid 132, continued fractions, and Chebyshev polynomials of the second kind. In this paper we prove analogues...
Eric S. Egge, Toufik Mansour
ITP
2002
120views Mathematics» more  ITP 2002»
15 years 2 months ago
Discontinuities and continuities: a new way to understand virtual work
``Virtual'' is a potent buzzword, freely applied to many situations, with many meanings. In this exploratory study, we develop a more precise understanding of ``virtual&#...
Mary Beth Watson-Manheim, Katherine M. Chudoba, Ke...