627 search results - page 27 / 126 » Branched Polyhedral Systems |
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
The ubiquity of multicore processors in commodity computing systems has raised a significant programming challenge for their effective use. An attractive but challenging approach...
COMGEO
2006
ACM
13 years 8 months ago
2006
ACM
An algorithm is proposed for the simultaneous computation of all Minkowski functionals (except for the volume) of sets from the convex ring in Rd discretized with respect to a give...
CASC
2010
Springer
13 years 7 months ago
2010
Springer
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
SIGSAND
2008
13 years 10 months ago
2008
: MebIT is an interdisciplinary project granted by the German Ministry for Education and Research (BMBF). Its focus of research concerns the logical interconnections and relationsh...
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...