Sciweavers

575 search results - page 30 / 115
» Wichita State University
Sort
View
TOCL
2008
113views more  TOCL 2008»
13 years 7 months ago
Abstract state machines capture parallel algorithms: Correction and extension
State Machines Capture Parallel Algorithms: Correction and Extension ANDREAS BLASS University of Michigan and YURI GUREVICH Microsoft Research We consider parallel algorithms worki...
Andreas Blass, Yuri Gurevich
TR
2008
78views more  TR 2008»
13 years 7 months ago
MOMS-GA: A Multi-Objective Multi-State Genetic Algorithm for System Reliability Optimization Design Problems
A custom genetic algorithm was developed and implemented to solve multiple objective multi-state reliability optimization design problems. Many real-world engineering design proble...
Heidi A. Taboada, Jose F. Espiritu, David W. Coit
WSC
2008
13 years 10 months ago
Integrating simulation and optimization research into a graduate supply chain modeling course
This paper addresses the on-going work of integrating supply chain research into the graduate curriculum in the form of a Supply Chain Modeling course. This course integrates rese...
Ricki G. Ingalls, Mario Cornejo, Chinnatat Methapa...
JVM
2001
105views Education» more  JVM 2001»
13 years 9 months ago
A Java Compiler for Many Memory Models
ompiler for Many Memory Models { extended abstract Samuel P. Midki IBM TJ Watson Research Jaejin Lee Dept. of Computer Science and Engineering, Michigan State University David A. P...
Samuel P. Midkiff
EACL
1993
ACL Anthology
13 years 9 months ago
The donkey strikes back: Extending the dynamic interpretation "constructively"
The dynamic interpretation of a formula as a binary relation (inducing transitions) on states is extended by alternative treatments of implication, universal quantification, negat...
Tim Fernando