2586 search results - page 154 / 518 » Automatic Abstraction for Congruences |
202
click to vote
CONEXT
2006
ACM
16 years 14 days ago
2006
ACM
The realization of ubiquitous networks brings new challenges to application development. In this kind of network, services and, more specifically web services, have been used to p...
154
click to vote
IEEECIT
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper proposes a method of model-driven HW/SW co-design in embedded system design and discusses the key technology of model mapping, automatic generating codes and performanc...
183
click to vote
IPPS
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract— We developed an automated environment to measure the memory access behavior of applications on high performance clusters. Code optimization for processor caches is cruc...
167
click to vote
CEEMAS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. A strong research emphasis is being given towards regulating interoperable multi-agent environments through norms and institutions. We are concerned with environments in ...
160
click to vote
ICCS
2005
Springer
16 years 9 hour ago
2005
Springer
Abstract. Resource management is a critical concern in high-performance computing software. While management of processing resources to increase performance is the most critical, e...