232 search results - page 32 / 47 » concurrency 2000 |
POS
2000
Springer
15 years 1 months ago
2000
Springer
Orthogonally persistent Java combines the power of abstraction over persistence with Java's rich programming environment. In this paper we report our experience in designing a...
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
112
click to vote
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
106
click to vote
ASAP
2008
IEEE
14 years 11 months ago
2008
IEEE
Arithmetic coding is an efficient entropy compression method that achieves results close to the entropy limit and it is used in modern standards such as JPEG-2000 and H.264. Arith...
ECIS
2000
14 years 11 months ago
2000
: This paper addresses a specific problem that may arise as consequence of the globalization of the markets. This is the incompatibility between local and global standards of trust...