default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. ASIAN 1995: Pathumthani, Thailand
- Kanchana Kanchanasut, Jean-Jacques Lévy:
Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings. Lecture Notes in Computer Science 1023, Springer 1995, ISBN 3-540-60688-2
Algorithms
- Eliezer A. Albacea:
Leapfrogging Samplesort. 1-9 - Leizhen Cai:
Spanning 2-Trees. 10-22 - Ming-Yang Kao:
Minimal Linear Invariants. 23-33 - Luca Baffi, Rossella Petreschi:
Parallel Maximal Matching on Minimal Vertex Series Parallel Digraphs. 34-47 - Tak Wah Lam, Ka Hing Lee:
Efficient Equality-Testing and Updating of Sets. 48-58 - Viet Hai Nguyen, Peter Widmayer:
Binary Space Partitions for Sets of Hyperrectangles. 59-72
Knowledge Representation and Programming Languages
- Sugwoo Byun, Richard Kennaway, M. Ronan Sleep:
Transformation of Orthogonal Term Rewriting Systems. 73-87 - Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh:
An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness. 88-102 - Milind Gandhe, G. Venkatesh, Amitabha Sanyal:
Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract). 103-110
Concurrency and Networking
- Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar:
Preemption Primitives in Reactive Languages (A Preliminary Report). 111-125 - Wojciech Fraczak:
Multi-Action Process Algebra. 126-140 - Alan Mycroft, Pierpaolo Degano, Corrado Priami:
Complexity as a Basis for Comparing Semantic Models of Concurrency. 141-155 - N. Raja, R. K. Shyamasundar:
Combinatory Formulations of Concurrent Languages. 156-170 - Joachim Niehren, Martin Müller:
Constraints for Free in Concurrent Computation. 171-186 - Pankaj Jalote:
Formalizing Inductive Proofs of Message Recovery in Distributed Systems. 187-194 - Xinfeng Ye, John A. Keane:
Detecting Distributed Termination in the Presence of Node Failure. 195-209 - Feixiong Liu, Thomas Peikenkamp, Werner Damm:
An Extended Gradient Model for NUMA Multiprocessor Systems. 210-224
Data Bases
- Shao Dong Chen, Hong Shen, Rodney W. Topor:
Efficient Parallel Permutation-Based Range-Join Algorithms on Mesh-Connected Computers. 225-238 - Hongjun Lu, Kian-Lee Tan
:
Pipelined Band Join in Shared-Nothing Systems. 239-253
Knowledge Representation and Programming Languages
- Kimihiro Yamamoto, Shozo Naito, Masaki Itoh:
Inductive Logic Programming Based on Genetic Algorithm. 254-268 - Shan-Hwei Nienhuys-Cheng, Ronald de Wolf:
The Equivalence of the Subsumption Theorem and the Refutation-Completeness for Unconstrained Resolution. 269-285 - Liem Ngo, Peter Haddawy:
Probabilistic Logic Programming and Bayesian Networks. 286-300 - Penny Anderson, David A. Basin:
Deriving and Applying Logic Program Transformers. 301-318 - Bo-Ming Tong, Ho-fung Leung:
Performance of a Data-Parallel Concurrent Constraint Programming System. 319-334
Specifications and Verification
- Ramesh Bharadwaj, Amy P. Felty, Frank A. Stomp:
Formalizing Inductive Proofs of Network Algorithms. 335-349 - Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan:
TROM - An Object Model for Reactive System Development. 350-364 - Philip Chan, Dang Van Hung:
Duration Calculus Specification of Schedulimg for Tasks with Shared Resources. 365-380 - Michal Iglewski, Marcin Kubica, Jan Madey:
Trace Specifications of Non-Deterministic Multi-Object Modules. 381-395 - Xiaojun Chen, Paola Inverardi, Carlo Montangero:
ESP-MC: An Experiment in the Use of Verification Tools. 396-410
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-04 20:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
