2681 search results - page 153 / 537 » Topics in asynchronous systems |
173
click to vote
ICPADS
1996
IEEE
15 years 8 months ago
1996
IEEE
We have de ne a network programming model called Mobile Assistant Programming (MAP) for development and execution of communication applications in large scale networks of heteroge...
140
click to vote
MM
2004
ACM
15 years 10 months ago
2004
ACM
Three video search systems were compared in the interactive search task at the TRECVID 2003 workshop: a text-only system, which searched video shots through transcripts; a feature...
134
click to vote
SEUS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. Describing parallel hardware and software is difficult, especially in an embedded setting. Five years ago, we started the shim project to address this challenge by develo...
117
click to vote
KI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In recent years there has been a growing demand for Automated Theorem Proving (ATP) in large theories, which often have more axioms than can be handled effectively as no...
149
Voted
TIME
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...