1031 search results - page 120 / 207 » codes 2004 |
73
Voted
SC
2004
ACM
15 years 4 months ago
2004
ACM
In this paper, we discuss one of our experiments using the coordination language MANIFOLD to restructure an existing sequential numerical application into a concurrent application...
SIGCSE
2004
ACM
15 years 4 months ago
2004
ACM
A framework for producing dynamic data structure visualizations within the context of a lightweight IDE is described. Multiple synchronized visualizations of a data structure can ...
80
Voted
WOSP
2004
ACM
15 years 4 months ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
AMAST
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
59
Voted
APPROX
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Motivated by an open problem recently suggested by Goldreich et al., we study truthful implementations of a random binary function supporting compound XOR queries over su...