1686 search results - page 280 / 338 » Programs as polygraphs: computability and complexity |
156
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Social laws have proved to be a powerful and theoretically elegant framework for coordination in multi-agent systems. Most existing models of social laws assume that a designer is...
106
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: FREGENE simulates sequence-level data over large genomic regions in large populations. Because, unlike coalescent simulators, it works forwards through time, it allows...
251
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Alignment of RNA secondary structures is important in studying functional RNA motifs. In recent years, much progress has been made in RNA motif finding and structure a...
134
click to vote
PPOPP
2010
ACM
16 years 21 days ago
2010
ACM
Many large-scale parallel programs follow a bulk synchronous parallel (BSP) structure with distinct computation and communication phases. Although the communication phase in such ...
136
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...