3404 search results - page 302 / 681 » C Programming Tutorial |
192
click to vote
HPCC
2007
Springer
16 years 19 days ago
2007
Springer
Many new Partitioned Global Address Space (PGAS) programming languages have recently emerged and are becoming ubiquitously available on nearly all modern parallel architectures. PG...
155
click to vote
MIDDLEWARE
2007
Springer
16 years 18 days ago
2007
Springer
Developing applications for sensor networks is a challenging task. Most programming systems narrowly focus on programming issues while ignoring that programming represents only a ...
152
click to vote
TACAS
2007
Springer
16 years 18 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
122
click to vote
ASPLOS
2006
ACM
16 years 14 days 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...
156
click to vote
AOSD
2005
ACM
16 years 1 days ago
2005
ACM
Improving the structure of code can help developers work with a software system more efficiently and more consistently. To aid developers in re-structuring the implementation of c...