2452 search results - page 290 / 491 » On Reduction of Lagrange Systems |
138
click to vote
EUROCRYPT
2004
Springer
15 years 10 months ago
2004
Springer
We describe a short signature scheme that is strongly existentially unforgeable under an adaptive chosen message attack in the standard security model. Our construction works in g...
131
click to vote
FLOPS
2004
Springer
15 years 10 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
120
click to vote
SAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
130
click to vote
SWAT
2004
Springer
15 years 10 months ago
2004
Springer
We consider delay management in railway systems. Given delayed trains, we want to find a waiting policy for the connecting trains minimizing the weighted total passenger delay. If...
161
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
Reduction of both the test suite size and the download time of test vectors is important in today's System-On-a-Chip designs. In this paper, a method for compressing the scan...