10072 search results - page 194 / 2015 » Composition of Model Programs |
158
click to vote
DATE
2005
IEEE
16 years 1 days ago
2005
IEEE
Conventional cache models are not suited for real-time parallel processing because tasks may flush each other’s data out of the cache in an unpredictable manner. In this way th...
173
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
The emerging paradigm of web services promises to bring to distributed computing the same flexibility that the web has brought to the publication and search of information contain...
126
Voted
FMSD
2006
15 years 6 months ago
2006
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...
156
click to vote
JSW
2007
15 years 6 months ago
2007
— In this paper, we present our approach to describe and compose services for distant learning and research activities. For this purpose, we propose a metadata model for indexing...
147
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents a new method for planning motions of multi-arm systems in constrained workspaces, for which state-of-the-art planners behave poorly. The method is based on ...