595 search results - page 17 / 119 » Lightweight Static Capabilities |
IPPS
2002
IEEE
14 years 18 days ago
2002
IEEE
Heterogeneous computing (HC) environments composed of interconnected machines with varied computational capabilities are well suited to meet the computational demands of large, di...
ICANN
2010
Springer
13 years 8 months ago
2010
Springer
We shed light on the key ingredients of reservoir computing and analyze the contribution of the network dynamics to the spatial encoding of inputs. Therefore, we introduce attracto...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper addresses the problem of naturally looking and energy efficient walk of biped humanoids. We presuppose that such walk requires motion control capability around kine...
ICS
1993
Tsinghua U.
13 years 11 months ago
1993
Tsinghua U.
—Data dependence analysis techniques are the main component of today’s strategies for automatic detection of parallelism. Parallelism detection strategies are being incorporate...
AMAST
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementat...