Proceedings 24th Australian Computer Science Conference. ACSC 2001
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0769509630

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A cluster-based geophysical template matching system

Proceedings 24th Australian Computer Science Conference. ACSC 2001 ◽

10.1109/acsc.2001.906623 ◽

2002 ◽

Author(s):

N. Dunstan ◽

S. Hodgson

Keyword(s):

Template Matching

Download Full-text

Starting with termination: a methodology for building distributed garbage collection algorithms

Proceedings 24th Australian Computer Science Conference. ACSC 2001 ◽

10.1109/acsc.2001.906619 ◽

2002 ◽

Cited By ~ 3

Author(s):

S.M. Blackburn ◽

R.L. Hudson ◽

R. Morrison ◽

J.E.B. Moss ◽

D.S. Munro ◽

...

Keyword(s):

Garbage Collection ◽

Distributed Garbage Collection

Download Full-text

Word-based block-sorting text compression

Proceedings 24th Australian Computer Science Conference. ACSC 2001 ◽

10.1109/acsc.2001.906628 ◽

2002 ◽

Cited By ~ 2

Author(s):

R.Y.K. Isal ◽

A. Moffat

Keyword(s):

Text Compression

Download Full-text

Large scale experiments on correction of confused words

Proceedings 24th Australian Computer Science Conference. ACSC 2001 ◽

10.1109/acsc.2001.906626 ◽

2002 ◽

Cited By ~ 1

Author(s):

J.H. Huang ◽

D. Powers

Keyword(s):

Large Scale

Download Full-text

The derivation of functional equivalents of imperative programs

Proceedings 24th Australian Computer Science Conference. ACSC 2001 ◽

10.1109/acsc.2001.906639 ◽

2002 ◽

Author(s):

G.H.B. Roberts

Download Full-text

Inference of regular languages using model simplicity

Proceedings 24th Australian Computer Science Conference. ACSC 2001 ◽

10.1109/acsc.2001.906625 ◽

2002 ◽

Cited By ~ 3

Author(s):

P. Hingston

Keyword(s):

Regular Languages

Download Full-text

Systematically deriving partial oracles for testing concurrent programs

Proceedings 24th Australian Computer Science Conference. ACSC 2001 ◽

10.1109/acsc.2001.906627 ◽

2002 ◽

Cited By ~ 1

Author(s):

C. Hunter ◽

P. Strooper

Keyword(s):

Concurrent Programs

Download Full-text

An approach to secure distribution of Web-based training courses

Proceedings 24th Australian Computer Science Conference. ACSC 2001 ◽

10.1109/acsc.2001.906643 ◽

2002 ◽

Author(s):

E. Weippl

Keyword(s):

Web Based ◽

Training Courses

Download Full-text

Polymorphic CSP type checking

Proceedings 24th Australian Computer Science Conference. ACSC 2001 ◽

10.1109/acsc.2001.906637 ◽

2002 ◽

Author(s):

P. Gao ◽

R. Esser

Keyword(s):

Type Checking

Download Full-text

Making the DDA run: two-dimensional ray traversal using runs and runs of runs

Proceedings 24th Australian Computer Science Conference. ACSC 2001 ◽

10.1109/acsc.2001.906640 ◽

2002 ◽

Author(s):

P. Stephenson ◽

B. Litow

Keyword(s):

Two Dimensional

Download Full-text

Proceedings 24th Australian Computer Science Conference. ACSC 2001Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

A cluster-based geophysical template matching system

Starting with termination: a methodology for building distributed garbage collection algorithms

Word-based block-sorting text compression

Large scale experiments on correction of confused words

The derivation of functional equivalents of imperative programs

Inference of regular languages using model simplicity

Systematically deriving partial oracles for testing concurrent programs

An approach to secure distribution of Web-based training courses

Polymorphic CSP type checking

Making the DDA run: two-dimensional ray traversal using runs and runs of runs

Proceedings 24th Australian Computer Science Conference. ACSC 2001
Latest Publications