1538 search results - page 137 / 308 » Programming with Patterns |
TOOLS
2008
IEEE
15 years 7 months ago
2008
IEEE
Association between classes is a central construct in OO modeling. However, precise semantics of associations has not been defined, and only the most basic types are implemented i...
92
Voted
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...
89
Voted
VL
2005
IEEE
15 years 6 months ago
2005
IEEE
What are people currently looking at in their web browser? Do the patterns of pages change over time? Are changes periodic or just related to current events or other factors? We a...
105
click to vote
ESOP
1999
Springer
15 years 5 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
112
Voted
PPOPP
1997
ACM
15 years 4 months ago
1997
ACM
This paper describes a new approach to finding performance bottlenecks in shared-memory parallel programs and its embodiment in the Paradyn Parallel Performance Tools running with...