9626 search results - page 199 / 1926 » Invariant Based Programming |
125
Voted
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
154
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
177
click to vote
ICRA
2005
IEEE
16 years 9 hour ago
2005
IEEE
— In this paper, we study the problem of going from a real-world, multi-agent system to the generation of control programs in an automatic fashion. In particular, a computer visi...
156
Voted
LCPC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. With the fast development of multi-core processors, automatic parallelization becomes increasingly important. In this work, we focus on the parallelization of utility pro...
143
click to vote
ICIAR
2004
Springer
15 years 11 months ago
2004
Springer
Finding contours in constrained search space is a well known problem. It is encountered in such areas as tracking objects in videos, or finding objects within defined boundaries....