826 search results - page 53 / 166 » Resolving Concurrent Interactions |
117
click to vote
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
126
Voted
CONCURRENCY
1998
15 years 2 months ago
1998
Abstract Advances in high performance computing, communications, and user interfaces enable developers to construct increasingly interactive high performance applications. The Falc...
106
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
136
Voted
PLDI
2004
ACM
15 years 8 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
109
click to vote
ECLIPSE
2004
ACM
15 years 8 months ago
2004
ACM
Coordination of development activities is often the most crucial success factor in a software development team. Typically, teams rely on configuration management (CM) systems for...