7049 search results - page 46 / 1410 » Data Abstraction for CSP-OZ |
JIB
2010
13 years 5 months ago
2010
t techniques to create such a network associated with an abstract cell environment is discussed in order to gain insights into the functional as well as spatial interrelationships....
ESOP
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
IPAW
2010
13 years 8 months ago
2010
We introduce StarFlow, a script-centric environment for data analysis. StarFlow has four main features: (1) extraction of control and data-flow dependencies through a novel combina...
IPPS
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--The expression of parallel codes through abstract, high-level specifications of global control and data flow can greatly simplify the task of creating large parallel prog...
SEMWEB
2007
Springer
14 years 4 months ago
2007
Springer
Abstract DBpedia is a community effort to extract structured information from Wikipedia and to make this information available on the Web. DBpedia allows you to ask sophisticated ...