2607 search results - page 251 / 522 » On the Architecture of System Verification Environments |
190
click to vote
IEEEMM
2002
15 years 6 months ago
2002
an abstract model for information sharing and integration and use it to develop an architecture for building open, component-based, interoperable systems. A geographic information ...
193
click to vote
TPDS
2010
15 years 5 months ago
2010
The objective of this paper is to extend, in the context of multicore architectures, the concepts of tile algorithms [Buttari et al., 2007] for Cholesky, LU, QR factorizations to t...
197
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes our study into the concept of using rewards in a classifier system applied to the acquisition of decision-making algorithms for agents in a soccer game. Our a...
201
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...
156
click to vote
P2P
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract—In this paper we explore the incentive and architectural issues that arise in Consortia of Peer-to-Peer Wireless Local Area Networks. A P2P WLAN Consortium (PWC) is a co...