1541 search results - page 274 / 309 » Tools and Techniques for Model Checking Networked Programs |
117
Voted
CODES
2008
IEEE
15 years 2 months ago
2008
IEEE
Using traditional software profiling to optimize embedded software in an MPSoC design is not reliable. With multiple processors running concurrently and programs interacting, trad...
95
Voted
FLAIRS
2001
15 years 1 months ago
2001
We present an objective approach for evaluating probability elicitation methods in probabilistic models. Our method draws on ideas from research on learning Bayesian networks: if ...
119
Voted
HPDC
2009
IEEE
15 years 7 months ago
2009
IEEE
This article deals with TakTuk, a middleware that deploys efficiently parallel remote executions on large scale grids (thousands of nodes). This tool is mostly intended for intera...
156
click to vote
TCSB
2010
14 years 11 months ago
2010
Biomodel engineering is the science of designing, constructing and analyzing computational models of biological systems. It forms a systematic and powerful extension of earlier mat...
108
click to vote
BMCBI
2005
15 years 11 days ago
2005
Background: Many cutting-edge microarray analysis tools and algorithms, including commonly used limma and affy packages in Bioconductor, need sophisticated knowledge of mathematic...