3335 search results - page 348 / 667 » Grid result checking |
165
click to vote
CHES
2004
Springer
16 years 2 days ago
2004
Springer
Because of the rapidly shrinking dimensions in VLSI, transient and permanent faults arise and will continue to occur in the near future in increasing numbers. Since cryptographic c...
148
click to vote
VLDB
2004
ACM
16 years 12 hour ago
2004
ACM
Progressive Optimization (POP) is a technique to make query plans robust, and minimize need for DBA intervention, by repeatedly re-optimizing a query during runtime if the cardina...
183
click to vote
VMCAI
2004
Springer
16 years 12 hour ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
179
click to vote
DBPL
2003
Springer
15 years 12 months ago
2003
Springer
We consider the incremental validation of updates on XML documents. When a valid XML document (i.e., one satisfying some constraints) is updated, it has to be verified that the n...
194
click to vote
JAVA
2001
Springer
15 years 11 months ago
2001
Springer
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...