1888 search results - page 230 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
161
click to vote
FCCM
2002
IEEE
15 years 9 months ago
2002
IEEE
Reconfigurable systems, and in particular, FPGA-based custom computing machines, offer a unique opportunity to define application-specific architectures. These architectures offer...
141
click to vote
SAMT
2009
Springer
15 years 11 months ago
2009
Springer
The increasing availability of multimedia (MM) resources, Web services as well as content, on the Web raises the need to automatically discover and process resources out of distrib...
150
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
In prior work, we have proposed techniques to extend the ease of shared-memory parallel programming to distributed-memory platforms by automatic translation of OpenMP programs to ...
127
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we present an ontology of educational theories their relation to learning design. This ontology takes into account learning design (LD) specifications such as OUNL-E...
125
click to vote
WWW
2001
ACM
16 years 5 months ago
2001
ACM
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...