1154 search results - page 146 / 231 » Mathematizing C concurrency |
WECWIS
2007
IEEE
14 years 3 months ago
2007
IEEE
Service-oriented architecture (SOA) is an evolving architectural paradigm where businesses can expose their capabilities as modular, network-accessible software services. By decom...
ITNG
2007
IEEE
14 years 3 months ago
2007
IEEE
In networks-on-chip (NoC) designs, delay variations and crosstalk noise have become a serious issue with the continuously shrinking geometry of semiconductor devices and the incre...
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we propose an agent-based model of evolutionary algorithms (EAs) which extends seamlessly from concurrent single-host to distributed multi-host installations. Since ...
OOPSLA
2007
Springer
14 years 3 months ago
2007
Springer
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...
ASPLOS
2006
ACM
14 years 3 months ago
2006
ACM
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...