1120 search results - page 113 / 224 » C Elements of Style |
182
click to vote
HPCC
2007
Springer
16 years 12 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...
181
click to vote
ICSE
2007
IEEE-ACM
16 years 11 days ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
176
click to vote
ISI
2007
Springer
16 years 11 days ago
2007
Springer
—A Weblog is a Web site where entries are made in diary style, maintained by its sole author – a blogger, and displayed in a reverse chronological order. Due to the freedom and...
165
click to vote
PPDP
2007
Springer
16 years 10 days ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
148
click to vote
TACAS
2007
Springer
16 years 10 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...