Sciweavers

4248 search results - page 141 / 850
» Simulating hci for all
Sort
View
WSC
1998
15 years 7 months ago
A Rapid Modeling Technique for Measurable Improvements in Factory Performance
This paper discusses a methodology for quickly investigating problem areas in semiconductor wafer fabrication factories by creating a model for the production area of interest onl...
Andreas Peikert, Josef Thoma, Steven Brown
WSC
1997
15 years 7 months ago
Conduct, Misconduct, and Cargo Cult Science
I will elaborate some principles of ethical conduct in science that correspond to Richard Feynman’s wellknown precepts of “utter honesty” and “leaning over backwards” in...
James R. Wilson
TON
2012
13 years 8 months ago
Independent Directed Acyclic Graphs for Resilient Multipath Routing
—In order to achieve resilient multipath routing we introduce the concept of Independent Directed Acyclic Graphs (IDAGs) in this study. Link-independent (Node-independent) DAGs s...
Sangman Cho, Theodore Elhourani, Srinivasan Ramasu...
FAC
2010
121views more  FAC 2010»
15 years 3 months ago
Blaming the client: on data refinement in the presence of pointers
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
Ivana Filipovic, Peter W. O'Hearn, Noah Torp-Smith...
ACMSE
2006
ACM
16 years 10 days ago
Assessing denial of service vulnerabilities in DOCSIS
In previous work a DOCSIS model was added to ‘ns’ to allow simulations to be run to analyze the performance of DOCSIS. These simulations showed that congestion caused by the a...
Scott Moser, Jim Martin