5159 search results - page 339 / 1032 » Structural Testing of Executables |
188
click to vote
ICPP
1993
IEEE
15 years 11 months ago
1993
IEEE
: This paper presents a Data-Distributed Execution approach that exploits interation-level parallelism in loops operating over arrays. It performs data-dependency analysis, based o...
166
click to vote
ICLP
1992
Springer
15 years 11 months ago
1992
Springer
: Whiledecision tree compilationis a promisingway tocarry out guard tests e ciently, the methods given in the literature do not take into account either the execution characteristi...
202
click to vote
ADBIS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
193
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
203
click to vote
FECS
2010
15 years 5 months ago
2010
In this paper, we present a method to help teach computer architecture (or computer organization) by developing an in class system where the students, themselves, compile high-leve...