3404 search results - page 302 / 681 » C Programming Tutorial |
141
Voted
HPCC
2007
Springer
15 years 9 months 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...
116
Voted
MIDDLEWARE
2007
Springer
15 years 9 months 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 ...
125
click to vote
TACAS
2007
Springer
15 years 9 months 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...
82
Voted
ASPLOS
2006
ACM
15 years 9 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...
124
Voted
AOSD
2005
ACM
15 years 9 months 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...