4809 search results - page 408 / 962 » Scalable Analysis of Scalable Systems |
178
Voted
JCP
2006
15 years 7 months ago
2006
Abstract-- The paper details a scheme for lossless compression of short data series larger than 50 Bytes. The method uses arithmetic coding and context modeling with a low-complexi...
178
Voted
SIGMOD
2002
ACM
15 years 7 months ago
2002
ACM
The need for supply chain integration (SCI) methodologies has been increasing as a consequence of the globalization of production and sales, and the advancement of enabling inform...
267
click to vote
RTAS
2009
IEEE
16 years 2 months ago
2009
IEEE
In recent years, there has been an increase in video surveillance systems in public and private environments due to a heightened sense of security. The next generation of surveill...
211
click to vote
JODL
2008
15 years 7 months ago
2008
DelosDLMS is a prototype of a next-generation Digital Library (DL) management system. It is the result of integrating various specialized DL services provided by partners of the D...
277
click to vote
CAV
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...