4299 search results - page 580 / 860 » Concurrent Test Generation |
167
click to vote
CARDIS
2000
Springer
15 years 8 months ago
2000
Springer
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...
134
click to vote
CCA
2000
Springer
15 years 8 months ago
2000
Springer
The Exact Geometric Computing approach requires a zero test for numbers which are built up using standard operations starting with the natural numbers. The uniformity conjecture, ...
149
click to vote
DEXAW
1999
IEEE
15 years 8 months ago
1999
IEEE
Caching is a standard solution to the problem of insufcient bandwidth caused by the rapid increase of information circulation across the Internet. Cache consistency mechanisms are...
139
click to vote
SIGIR
1999
ACM
15 years 8 months ago
1999
ACM
Probabilistic Latent Semantic Indexing is a novel approach to automated document indexing which is based on a statistical latent class model for factor analysis of count data. Fit...
157
click to vote
SIBGRAPI
1999
IEEE
15 years 8 months ago
1999
IEEE
Texture analysis and synthesis is very important for computer graphics, vision, and image processing. This paper describes an algorithm which can produce new textures with a matchi...