101
Voted
SIGCSE
1998
ACM
15 years 3 months ago
1998
ACM
-. t\ Whatstartedoff asanenrichmentassignmentfor a third graderhasdevelopedinto arich sourceof programmingassignments.Thelong integers,needed to determinewhetheranumbereventuallyb...
97
Voted
CORR
1999
Springer
15 years 3 months ago
1999
Springer
131
Voted
CORR
1999
Springer
15 years 3 months ago
1999
Springer
Quantum key distribution is the best known application of quantum cryptography. Previously proposed proofs of security of quantum key distribution contain various technical subtle...
126
Voted
CORR
1999
Springer
15 years 3 months ago
1999
Springer
ABSTRACT. We explore the combinatorial properties of the branching areas of execution paths in higher dimensional automata. Mathematically, this means that we investigate the combi...
103
Voted
CORR
1999
Springer
15 years 3 months ago
1999
Springer
138
Voted
CORR
1999
Springer
15 years 3 months ago
1999
Springer
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...
140
Voted
CORR
1999
Springer
15 years 3 months ago
1999
Springer
Abstract: Systematic testing of object-oriented software turned out to be much more complex than testing conventional software. Especially the highly incremental and iterative deve...
129
Voted
CORR
1999
Springer
15 years 3 months ago
1999
Springer
Most debuggers are notoriously machine-dependent, but some recent research prototypes achieve varying degrees of machine-independence with novel designs. Cdb, a simple source-leve...
101
Voted
CORR
1999
Springer
15 years 3 months ago
1999
Springer
