1541 search results - page 219 / 309 » Tools and Techniques for Model Checking Networked Programs |
124
Voted
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
103
Voted
APCHI
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper describes a method for manipulating a threedimensional object without considering conventional three independent orthogonal views. We apply the direct manipulation to o...
133
click to vote
DSRT
2008
IEEE
15 years 2 months ago
2008
IEEE
P2P systems have witnessed phenomenal development in recent years. Evaluating and analyzing new and existing algorithms and techniques is a key issue for developers of P2P systems...
122
click to vote
SCESM
2006
ACM
15 years 6 months ago
2006
ACM
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
119
Voted
SAC
2006
ACM
15 years 16 days ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...