3436 search results - page 305 / 688 » Software Tools for Performance Modeling of Parallel Programs |
213
click to vote
PDPTA
2010
15 years 1 months ago
2010
Lattice gas cellular automata (LGCA) models provide a relatively fast means of simulating fluid flow and can give both quantitative and qualitative insights into flow patterns aro...
138
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: There has been a lot of interest in recent years focusing on the modeling and simulation of Gene Regulatory Networks (GRNs). However, the evolutionary mechanisms that ...
107
click to vote
COMPSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
119
Voted
ACMICEC
2007
ACM
15 years 7 months ago
2007
ACM
Humans are "smart components" in a system, but cannot be directly programmed to perform; rather, their autonomy must be respected as a design constraint and incentives p...
154
Voted
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Mapping packet processing applications onto embedded network processors (NP) is a challenging task due to the unique constraints of NP systems and the characteristics of network a...