Sciweavers

31387 search results - page 425 / 6278
» Abstracts
Sort
View
EUROPAR
2010
Springer
15 years 8 months ago
Exceptions for Algorithmic Skeletons
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...
Mario Leyton, Ludovic Henrio, José M. Pique...
GG
2010
Springer
15 years 8 months ago
A Hoare Calculus for Graph Programs
el of abstraction). Refereed Conference and Workshop Papers
Christopher M. Poskitt, Detlef Plump
CAV
2010
Springer
156views Hardware» more  CAV 2010»
15 years 7 months ago
A Logical Product Approach to Zonotope Intersection
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
Khalil Ghorbal, Eric Goubault, Sylvie Putot
ANOR
2008
96views more  ANOR 2008»
15 years 7 months ago
How good are SPT schedules for fair optimality criteria
Abstract We consider the following scheduling setting: a set of
Eric Angel, Evripidis Bampis, Fanny Pascual
APAL
2008
75views more  APAL 2008»
15 years 7 months ago
Call-by-name reduction and cut-elimination in classical logic
Abstract. We present a version of Herbelin's
Kentaro Kikuchi