4755 search results - page 859 / 951 » An Implementation Model for Collaborative Applications |
149
Voted
MMB
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
122
click to vote
HIPEAC
2010
Springer
15 years 7 months ago
2010
Springer
We present Offload, a programming model for offloading parts of a C++ application to run on accelerator cores in a heterogeneous multicore system. Code to be offloaded is enclosed ...
144
click to vote
ECCV
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The ability to localise a camera moving in a previously unknown environment is desirable for a wide range of applications. In computer vision this problem is studied as m...
126
click to vote
EUROGP
2008
Springer
15 years 6 months ago
2008
Springer
We present PlasmidPL, a plasmid-inspired programming language designed for Genetic Programming (GP), and based on a chemical metaphor. The basic data structures in PlasmidPL are ci...
184
click to vote
EURONGI
2008
Springer
15 years 6 months ago
2008
Springer
The guaranteed delivery of critical data is an essential requirement in most Wireless Sensor Network (WSN) applications. The paucity of energy, communication, processing and storag...