3736 search results - page 402 / 748 » Generative Programming |
150
Voted
VSTTE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
104
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Multicore shared-memory architectures are becoming prevalent but bring many programming challenges. Among the biggest is non-determinism: the output of the program does n...
149
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The expression of parallel codes through abstract, high-level specifications of global control and data flow can greatly simplify the task of creating large parallel prog...
136
click to vote
MEMOCODE
2010
IEEE
15 years 2 months ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
138
Voted
UM
2010
Springer
15 years 2 months ago
2010
Springer
While browsing the Web, providing profile information in social networking services, or tagging pictures, users leave a plethora of traces. In this paper, we analyze the nature of ...