2613 search results - page 119 / 523 » State-of-the-art in heterogeneous computing |
ARCS
2004
Springer
14 years 2 months ago
2004
Springer
Computer systems of the future will consist more and more of autonomous and cooperative system parts and behave self-organizing. Self-organizing is mainly characterized by adaptive...
EUROMICRO
1998
IEEE
14 years 1 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
VLDB
1994
ACM
14 years 28 days ago
1994
ACM
Many relational and object-oriented database systems provide referential integrity and compound operations on related objects using relationship mechanisms. Distributed object sys...
DBKDA
2009
IEEE
14 years 23 days ago
2009
IEEE
Abstract--With the growing computer networks, accessible data is becoming increasing distributed. Understanding and integrating remote and unfamiliar data sources are important dat...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where t...