|
|
Conferences in DBLP
- Eliezer A. Albacea
Leapfrogging Samplesort. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:1-9 [Conf]
- Leizhen Cai
Spanning 2-Trees. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:10-22 [Conf]
- Ming-Yang Kao
Minimal Linear Invariants. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:23-33 [Conf]
- Luca Baffi, Rossella Petreschi
Parallel Maximal Matching on Minimal Vertex Series Parallel Digraphs. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:34-47 [Conf]
- Tak Wah Lam, Ka Hing Lee
Efficient Equality-Testing and Updating of Sets. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:48-58 [Conf]
- Viet Hai Nguyen, Peter Widmayer
Binary Space Partitions for Sets of Hyperrectangles. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:59-72 [Conf]
- Sugwoo Byun, Richard Kennaway, M. Ronan Sleep
Transformation of Orthogonal Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:73-87 [Conf]
- Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh
An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:88-102 [Conf]
- Milind Gandhe, G. Venkatesh, Amitabha Sanyal
Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract). [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:103-110 [Conf]
- Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar
Preemption Primitives in Reactive Languages (A Preliminary Report). [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:111-125 [Conf]
- Wojciech Fraczak
Multi-Action Process Algebra. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:126-140 [Conf]
- Alan Mycroft, Pierpaolo Degano, Corrado Priami
Complexity as a Basis for Comparing Semantic Models of Concurrency. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:141-155 [Conf]
- N. Raja, R. K. Shyamasundar
Combinatory Formulations of Concurrent Languages. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:156-170 [Conf]
- Joachim Niehren, Martin Müller
Constraints for Free in Concurrent Computation. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:171-186 [Conf]
- Pankaj Jalote
Formalizing Inductive Proofs of Message Recovery in Distributed Systems. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:187-194 [Conf]
- Xinfeng Ye, John A. Keane
Detecting Distributed Termination in the Presence of Node Failure. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:195-209 [Conf]
- Feixiong Liu, Thomas Peikenkamp, Werner Damm
An Extended Gradient Model for NUMA Multiprocessor Systems. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:210-224 [Conf]
- Shao Dong Chen, Hong Shen, Rodney W. Topor
Efficient Parallel Permutation-Based Range-Join Algorithms on Mesh-Connected Computers. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:225-238 [Conf]
- Hongjun Lu, Kian-Lee Tan
Pipelined Band Join in Shared-Nothing Systems. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:239-253 [Conf]
- Kimihiro Yamamoto, Shozo Naito, Masaki Itoh
Inductive Logic Programming Based on Genetic Algorithm. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:254-268 [Conf]
- Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
The Equivalence of the Subsumption Theorem and the Refutation-Completeness for Unconstrained Resolution. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:269-285 [Conf]
- Liem Ngo, Peter Haddawy
Probabilistic Logic Programming and Bayesian Networks. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:286-300 [Conf]
- Penny Anderson, David A. Basin
Deriving and Applying Logic Program Transformers. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:301-318 [Conf]
- Bo-Ming Tong, Ho-fung Leung
Performance of a Data-Parallel Concurrent Constraint Programming System. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:319-334 [Conf]
- Ramesh Bharadwaj, Amy P. Felty, Frank A. Stomp
Formalizing Inductive Proofs of Network Algorithms. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:335-349 [Conf]
- Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan
TROM - An Object Model for Reactive System Development. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:350-364 [Conf]
- Philip Chan, Dang Van Hung
Duration Calculus Specification of Schedulimg for Tasks with Shared Resources. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:365-380 [Conf]
- Michal Iglewski, Marcin Kubica, Jan Madey
Trace Specifications of Non-Deterministic Multi-Object Modules. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:381-395 [Conf]
- Xiaojun Chen, Paola Inverardi, Carlo Montangero
ESP-MC: An Experiment in the Use of Verification Tools. [Citation Graph (0, 0)][DBLP]
ASIAN, 1995, pp:396-410 [Conf]
|
