Sciweavers

574 search results - page 68 / 115
» Structured Parallel Simulation Modeling and Programming
Sort
View
CPHYSICS
2010
135views more  CPHYSICS 2010»
15 years 2 months ago
An events based algorithm for distributing concurrent tasks on multi-core architectures
In this paper, a programming model is presented which enables scalable parallel performance on multi-core shared memory architectures. The model has been developed for application...
David W. Holmes, John R. Williams, Peter Tilke
POPL
2009
ACM
16 years 2 months ago
The theory of deadlock avoidance via discrete control
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...
Manjunath Kudlur, Scott A. Mahlke, Stéphane...
CODES
2008
IEEE
15 years 3 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
BMCBI
2008
168views more  BMCBI 2008»
15 years 2 months ago
Predicting protein folding pathways at the mesoscopic level based on native interactions between secondary structure elements
Background: Since experimental determination of protein folding pathways remains difficult, computational techniques are often used to simulate protein folding. Most current techn...
Qingwu Yang, Sing-Hoi Sze
BMCBI
2010
148views more  BMCBI 2010»
14 years 9 months ago
SKPDB: a structural database of shikimate pathway enzymes
Background: The functional and structural characterisation of enzymes that belong to microbial metabolic pathways is very important for structure-based drug design. The main inter...
Helen A. Arcuri, Geraldo F. D. Zafalon, Evandro A....