Sciweavers

14244 search results - page 266 / 2849
» Modeling Program Predictability
Sort
View
ICALP
1997
Springer
15 years 7 months ago
Symbolic Model Checking for Probabilistic Processes
Christel Baier, Edmund M. Clarke, Vassili Hartonas...
IWOMP
2010
Springer
15 years 7 months ago
Towards an Error Model for OpenMP
Michael Wong, Michael Klemm, Alejandro Duran, Tim ...
QOSA
2010
Springer
15 years 6 months ago
Parameterized Reliability Prediction for Component-Based Software Architectures
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ral...
ENGL
2008
85views more  ENGL 2008»
15 years 3 months ago
Prediction of Concentration Profiles of Dispersed Particles through Horizontal Cylindrical Channels
Deposition of dispersed and ultradispersed solid particles in cylindrical channels has received considerable attention due to its practical significance and direct application in i...
Herbert Loria Molina, Pedro Pereira-Almao, Carlos ...
DSS
2008
84views more  DSS 2008»
15 years 3 months ago
Human decision-making behavior and modeling effects
Previous research indicates that the human decision-making process is somewhat nonlinear and that nonlinear models would be more suitable than linear models for developing advance...
Choong Nyoung Kim, Kyung Hoon Yang, Jaekyung Kim