4385 search results - page 83 / 877 » Abstraction for Concurrent Objects |
SIGGRAPH
1990
ACM
15 years 3 months ago
1990
ACM
Numbers: AbstractImageRepresentations Paul Haeberli Silicon Graphics Computer Systems Computer graphics research has concentrated on creating photo-realistic images of synthetic o...
TOOLS
1999
IEEE
15 years 3 months ago
1999
IEEE
the right abstractions is important for managing the complexity of your system. Three t abstractions used today are object, component and agent. Many similarities exist these abst...
104
click to vote
ENTCS
2007
14 years 11 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
112
click to vote
CAV
2009
Springer
15 years 11 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
88
Voted
FSEN
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...