1686 search results - page 280 / 338 » Programs as polygraphs: computability and complexity |
121
click to vote
ATAL
2010
Springer
15 years 1 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...
86
Voted
BMCBI
2008
15 years 26 days 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...
221
click to vote
BMCBI
2005
15 years 20 days 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...
110
Voted
PPOPP
2010
ACM
15 years 10 months 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 ...
110
Voted
EMSOFT
2004
Springer
15 years 6 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...