84
Voted
SIGCSE
1998
ACM
15 years 11 days ago
1998
ACM
83
Voted
SIGCSE
1998
ACM
15 years 11 days ago
1998
ACM
-. t\ Whatstartedoff asanenrichmentassignmentfor a third graderhasdevelopedinto arich sourceof programmingassignments.Thelong integers,needed to determinewhetheranumbereventuallyb...
81
Voted
CORR
1999
Springer
15 years 12 days ago
1999
Springer
110
click to vote
CORR
1999
Springer
15 years 12 days 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...
98
Voted
CORR
1999
Springer
15 years 12 days 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...
CORR
1999
Springer
15 years 12 days ago
1999
Springer
118
Voted
CORR
1999
Springer
15 years 12 days 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...
109
click to vote
CORR
1999
Springer
15 years 12 days 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...
CORR
1999
Springer
15 years 12 days 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...
CORR
1999
Springer
15 years 12 days ago
1999
Springer
