716 search results - page 27 / 144 » Semilinear Program Feasibility |
ASPLOS
2006
ACM
15 years 3 months ago
2006
ACM
Spatial Computing (SC) has been shown to be an energy-efficient model for implementing program kernels. In this paper we explore the feasibility of using SC for more than small k...
FMCO
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
TPHOL
2003
IEEE
15 years 2 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
89
Voted
ASPLOS
1998
ACM
15 years 1 months ago
1998
ACM
Several application and technology trends indicate that it might be both pro table and feasible to move computation closer to the data that it processes. In this paper, we evaluat...
JAIR
2008
14 years 9 months ago
2008
We represent planning as a set of loosely coupled network flow problems, where each network corresponds to one of the state variables in the planning domain. The network nodes cor...