1362 search results - page 56 / 273 » The Projection of Systolic Programs |
122
click to vote
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
Virtual enterprises have great difficulty in defining and adapting their business processes across the members of the virtual enterprise. We introduce an approach that allows (semi...
DAGSTUHL
2008
15 years 5 months ago
2008
From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in ...
116
click to vote
CATS
2006
15 years 5 months ago
2006
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...
114
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutines satisfiability modulo this theory and polyhedral pro...
157
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
The description of the jobs is a very important issue for the scheduling and management of Grid jobs. Since there are a lot of different languages for describing Grid jobs, the GG...