2588 search results - page 175 / 518 » Applications of Kolmogorov complexity to computable model th... |
107
click to vote
SOFSEM
2007
Springer
15 years 8 months ago
2007
Springer
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
229
click to vote
BMCBI
2005
15 years 1 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...
117
click to vote
COORDINATION
2004
Springer
15 years 7 months ago
2004
Springer
A development environment for applications specified in an extended version of a previously developed coordination model based on associatively broadcast interactions is presented....
110
click to vote
CLUSTER
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—Using MPI as communication interface, one or several applications may introduce complex communication behaviors over the network cluster. This effect is increased when n...
114
click to vote
TAMC
2009
Springer
15 years 8 months ago
2009
Springer
We study a new model of computation called stream checking on graph problems where a space-limited verifier has to verify a proof sequentially (i.e., it reads the proof as a strea...