12453 search results - page 105 / 2491 » Concurrent Data Structures |
126
click to vote
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
We have designed, implemented and evaluated a resource adaptive distributed information sharing system where automatic adjustments are made internally in our information sharing sy...
108
click to vote
SIGCSE
1999
ACM
15 years 6 months ago
1999
ACM
We present two tools to support the teaching of data structures and algorithms: Visualizers, which provide interactive visualizations of user-written data structures, and Testers,...
101
Voted
ISORC
2003
IEEE
15 years 7 months ago
2003
IEEE
: Structuring real-time concurrent programs in the form of groups of fixed-priority processes is an old art which is appropriate for only a small fraction of modern real-time distr...
101
click to vote
FM
2009
Springer
15 years 8 months ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
104
click to vote
IFM
2000
Springer
15 years 5 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...