2607 search results - page 208 / 522 » On the Architecture of System Verification Environments |
164
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
MapReduce offers a flexible programming model for processing and generating large data sets on dedicated resources, where only a small fraction of such resources are every unavaila...
181
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
We consider the problem of building a P2P-based search engine for massive document collections. We describe a prototype system called ODISSEA (Open DIStributed Search Engine Archi...
242
click to vote
WMCSA
2003
IEEE
15 years 11 months ago
2003
IEEE
Few real-world applications of mobile ad hoc networks have been developed or deployed outside the military environment, and no traces of actual node movement in a real ad hoc netw...
170
click to vote
CSREAESA
2008
15 years 8 months ago
2008
In most advanced real-time control applications such as service robots, the tasks have different criticality, flexible timing constraints and variable execution time. For instance...
169
click to vote
AGI
2011
14 years 10 months ago
2011
We present an architectural approach to learning problem solving skills from demonstration, using internal models to represent problem-solving operational knowledge. Internal forwa...