10870 search results - page 1827 / 2174 » Model Checking Programs |
215
Voted
PACT
1997
Springer
15 years 11 months ago
1997
Springer
A technique for estimating the cost of executing a loop nest in parallel (parallel start-up overhead) is described in this paper. This technique is of utmost importance for paralle...
170
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
In high level synthesis each node of a synchronous dataflow graph (DFG) is scheduled to a specific time and allocated to a processor. In this paper we present new integer linear p...
182
click to vote
ICRA
1993
IEEE
15 years 11 months ago
1993
IEEE
The problem of programming a robot t o carry out a systematic exploration of its environment using realistic sensors is considered in this paper. The robot is modelled as a single...
194
click to vote
ISCA
1993
IEEE
15 years 11 months ago
1993
IEEE
Parallel programs that use critical sections and are executed on a shared-memory multiprocessor with a writeinvalidate protocol result in invalidation actions that could be elimin...
181
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...