6274 search results - page 767 / 1255 » Proofs, Programs, Processes |
210
click to vote
IISWC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Programming to exploit the resources in a multicore system remains a major obstacle for both computer and software engineers. Transactional memory offers an attractive alternat...
183
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by organization artifacts. This abstract presents a programming language, which is d...
187
click to vote
LCTRTS
2005
Springer
16 years 12 days ago
2005
Springer
Mobile computing based upon wireless technology as the interconnect and PDAs, Web-enabled cell phones etc. as the end devices provide a rich infrastructure for anywhere, anytime i...
206
click to vote
ASPLOS
2004
ACM
16 years 10 days ago
2004
ACM
This paper introduces a compiler-orchestrated prefetching system as a unified framework geared toward ameliorating the gap between processing speeds and memory access latencies. ...
189
click to vote
DMSN
2004
ACM
16 years 10 days ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...