Algorithms, Concurrency and Knowledge - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540606888, 9783540492627

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Leapfrogging samplesort

Algorithms, Concurrency and Knowledge - Lecture Notes in Computer Science ◽

10.1007/3-540-60688-2_30 ◽

1995 ◽

pp. 1-9

Author(s):

Eliezer A. Albacea

Download Full-text

Duration calculus specification of scheduling for tasks with shared resources

Algorithms, Concurrency and Knowledge - Lecture Notes in Computer Science ◽

10.1007/3-540-60688-2_56 ◽

1995 ◽

pp. 365-380 ◽

Cited By ~ 6

Author(s):

Philip Chan ◽

Dang Van Hung

Keyword(s):

Shared Resources ◽

Duration Calculus

Download Full-text

TROM — An object model for reactive system development

Algorithms, Concurrency and Knowledge - Lecture Notes in Computer Science ◽

10.1007/3-540-60688-2_55 ◽

1995 ◽

pp. 350-364

Author(s):

R. Achuthan ◽

V. S. Alagar ◽

T. Radhakrishnan

Keyword(s):

System Development ◽

Reactive System ◽

Object Model

Download Full-text

Formalizing inductive proofs of network algorithms

Algorithms, Concurrency and Knowledge - Lecture Notes in Computer Science ◽

10.1007/3-540-60688-2_54 ◽

1995 ◽

pp. 335-349 ◽

Cited By ~ 5

Author(s):

Ramesh Bharadwaj ◽

Amy Felty ◽

Frank Stomp

Keyword(s):

Network Algorithms

Download Full-text

Efficient parallel permutation-based range-join algorithms on mesh-connected computers

Algorithms, Concurrency and Knowledge - Lecture Notes in Computer Science ◽

10.1007/3-540-60688-2_47 ◽

1995 ◽

pp. 225-238 ◽

Cited By ~ 3

Author(s):

Shao Dong Chen ◽

Hong Shen ◽

Rodney Topor

Keyword(s):

Join Algorithms

Download Full-text

Combinatory formulations of concurrent languages

Algorithms, Concurrency and Knowledge - Lecture Notes in Computer Science ◽

10.1007/3-540-60688-2_42 ◽

1995 ◽

pp. 156-170 ◽

Cited By ~ 1

Author(s):

N. Raja ◽

R. K. Shyamasundar

Download Full-text

Spanning 2-trees

Algorithms, Concurrency and Knowledge - Lecture Notes in Computer Science ◽

10.1007/3-540-60688-2_31 ◽

1995 ◽

pp. 10-22

Author(s):

Leizhen Cai

Download Full-text

An extended gradient model for NUMA multiprocessor systems

Algorithms, Concurrency and Knowledge - Lecture Notes in Computer Science ◽

10.1007/3-540-60688-2_46 ◽

1995 ◽

pp. 210-224 ◽

Cited By ~ 1

Author(s):

Feixiong Liu ◽

Thomas Peikenkamp ◽

Werner Damm

Keyword(s):

Multiprocessor Systems ◽

Gradient Model

Download Full-text

The equivalence of the subsumption theorem and the refutation-completeness for unconstrained resolution

Algorithms, Concurrency and Knowledge - Lecture Notes in Computer Science ◽

10.1007/3-540-60688-2_50 ◽

1995 ◽

pp. 269-285 ◽

Cited By ~ 1

Author(s):

Shan-Hwei Nienhuys-Cheng ◽

Ronald Wolf

Download Full-text

Transformation of orthogonal term rewriting systems

Algorithms, Concurrency and Knowledge - Lecture Notes in Computer Science ◽

10.1007/3-540-60688-2_36 ◽

1995 ◽

pp. 73-87 ◽

Cited By ~ 1

Author(s):

Sugwoo Byun ◽

Richard Kennaway ◽

Ronan Sleep

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems

Download Full-text

Algorithms, Concurrency and Knowledge - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Leapfrogging samplesort

Duration calculus specification of scheduling for tasks with shared resources

TROM — An object model for reactive system development

Formalizing inductive proofs of network algorithms

Efficient parallel permutation-based range-join algorithms on mesh-connected computers

Combinatory formulations of concurrent languages

Spanning 2-trees

An extended gradient model for NUMA multiprocessor systems

The equivalence of the subsumption theorem and the refutation-completeness for unconstrained resolution

Transformation of orthogonal term rewriting systems

Algorithms, Concurrency and Knowledge - Lecture Notes in Computer Science
Latest Publications