3706 search results - page 419 / 742 » The Transformational Approach to Program Development |
147
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents preliminary efforts to develop compilation and execution environments that achieve performance portability of multilevel parallelization on hierarchical archit...
148
click to vote
SIGSOFT
2009
ACM
15 years 11 months ago
2009
ACM
The interplay of multiple objects in object-oriented programming often follows specific protocols, for example certain orders of method calls and/or control structure constraints...
150
Voted
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
138
Voted
NIPS
1993
15 years 6 months ago
1993
The game of Go has a high branching factor that defeats the tree search approach used in computer chess, and long-range spatiotemporal interactions that make position evaluation e...
136
click to vote
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...