2725 search results - page 168 / 545 » A framework for P2P application development |
FMCAD
2007
Springer
15 years 2 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
133
click to vote
FPGA
2008
ACM
14 years 11 months ago
2008
ACM
Stochastic simulations and other scientific applications that depend on random numbers are increasingly implemented in a parallelized manner in programmable logic. High-quality ps...
ICSOFT
2008
14 years 11 months ago
2008
Service-oriented computing allows new applications to be developed by using and/or combining services offered by different organizations. Service composition can be applied when a ...
GRID
2008
Springer
14 years 11 months ago
2008
Springer
The g-Eclipse framework provides a general, integrated workbench toolset for Grid users, operators and developers. Based on the Open Source Eclipse ecosystem, g-Eclipse supports s...
ECEASST
2008
14 years 10 months ago
2008
: The Resource Description Framework (RDF) is a standard developed by the World Wide Web Consortium (W3C) to facilitate the representation and exchange of structured (meta-)data in...