Sciweavers

7311 search results - page 16 / 1463
» Time in State Machines
Sort
View
CSB
2005
IEEE
125views Bioinformatics» more  CSB 2005»
14 years 28 days ago
Peptide Charge State Determination for Low-Resolution Tandem Mass Spectra
Mass spectrometry is a particularly useful technology for the rapid and robust identification of peptides and proteins in complex mixtures. Peptide sequences can be identified b...
Aaron A. Klammer, Christine C. Wu, Michael J. MacC...
VEE
2009
ACM
130views Virtualization» more  VEE 2009»
13 years 12 months ago
Post-copy based live virtual machine migration using adaptive pre-paging and dynamic self-ballooning
We present the design, implementation, and evaluation of post-copy based live migration for virtual machines (VMs) across a Gigabit LAN. Live migration is an indispensable feature...
Michael R. Hines, Kartik Gopalan
JLP
2002
90views more  JLP 2002»
13 years 7 months ago
Combining programs and state machines
State machines consume and process actions complementary to programs issuing actions. State machines maintain a state and reply with a boolean response to each action in their int...
Jan A. Bergstra, Alban Ponse
SIAMCOMP
2000
88views more  SIAMCOMP 2000»
13 years 7 months ago
On a Conjecture by Coffman, Flatto, and Wright on Stochastic Machine Minimization
We investigate a conjecture stated by Coffman, Flatto, and Wright within the context of a stochastic machine minimization problem with a hard deadline. We prove that the conjecture...
Nah-Oak Song, Demosthenis Teneketzis