Sciweavers

29152 search results - page 394 / 5831
» A Model of Computation for MapReduce
Sort
View
PE
2011
Springer
167views Optimization» more  PE 2011»
15 years 2 months ago
Passage-time computation and aggregation strategies for large semi-Markov processes
High-level semi-Markov modelling paradigms such as semi-Markov stochastic Petri nets and process algebras are used to capture realistic performance models of computer and communic...
Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. ...
BMCBI
2008
111views more  BMCBI 2008»
15 years 7 months ago
Molecular docking studies of dithionitrobenzoic acid and its related compounds to protein disulfide isomerase: computational scr
Background: Entry of HIV-1 into human lymphoid requires activities of viral envelope glycoproteins gp120 and gp41, and two host-cell proteins, the primary receptor CD4 and a chemo...
Uthaman Gowthaman, Mannu Jayakanthan, Durai Sundar
CSE
2009
IEEE
16 years 2 months ago
Validation of Sociocultural Models and Meta-Models via Serious Games
– The role of serious games in validating computational sociocultural models is described. To accomplish this, we show the role of a cognitive engine in generating behaviors for ...
K. Brock Stitts, Colleen L. Phillips, Norman D. Ge...
ICCS
2003
Springer
16 years 23 days ago
Visual Modeler for Grid Modeling and Simulation (GridSim) Toolkit
Abstract. The Grid Modeling and Simulation (GridSim) toolkit provides a comprehensive facility for simulation of application scheduling in different Grid computing environments. H...
Anthony Sulistio, Chee Shin Yeo, Rajkumar Buyya
BIRTHDAY
2004
Springer
16 years 29 days ago
Models for Data-Flow Sequential Processes
A family of mathematical models of nondeterministic data flow is introduced. These models are constructed out of sets of traces, successes, failures and divergences, cf. Hoare’s...
Mark B. Josephs