14704 search results - page 239 / 2941 » computing 2007 |
131
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present an extrapolation with care set operator to accelerate termination of reachability computation with polyhedra. At the same time, a counterexample guided refine...
116
Voted
CIE
2007
Springer
15 years 7 months ago
2007
Springer
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...
130
Voted
CLUSTER
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper we give a theoretical model for determining the synchronization frequency that minimizes the parallel execution time of loops with uniform dependencies dynamicall...
137
Voted
DAIS
2001
15 years 5 months ago
2001
: Sentient Computing gives perception to computing systems so that they can detect, interpret and respond to changing aspects of users' context. The location attribute of a us...
108
Voted
JACIII
2007
15 years 3 months ago
2007
Abstract— A common framework for formalization of statetransition computation models is presented based on a general theory for studying the interrelationships between specifica...