Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | R. K. Shyamasundar, Kazunori Ueda (eds.) |
Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![Springer, 3-540-63875-X The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Richard Watson 0001, Eric Salzman |
Tracing the Evaluation of Lazy Functional Languages: A Model and its Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings, pp. 336-350, 1997, Springer, 3-540-63875-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh |
Efficient Induction of Executable Logic Programs from Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings, pp. 212-224, 1997, Springer, 3-540-63875-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Randal E. Bryant, Miroslav N. Velev |
Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings, pp. 18-31, 1997, Springer, 3-540-63875-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Erich Mikk, Yassine Lakhnech, Michael Siegel |
Hierarchical Automata as Model for Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings, pp. 181-196, 1997, Springer, 3-540-63875-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Boudol |
Typing the Use of Resources in a Concurrent Calculus (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings, pp. 239-253, 1997, Springer, 3-540-63875-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Merz |
Rules for Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings, pp. 32-45, 1997, Springer, 3-540-63875-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Ayache |
Medical Image Analysis and Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings, pp. 4-17, 1997, Springer, 3-540-63875-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuo Nakajima |
Adaptive Object Storage System for Mobile Computing Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings, pp. 371-372, 1997, Springer, 3-540-63875-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Plagemann, Vera Goebel |
INSTANCE: The Intermediate Storage Node Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings, pp. 151-165, 1997, Springer, 3-540-63875-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Sasikumar Punnekkat, Robert I. Davis 0001, Alan Burns 0001 |
Sensitivity Analysis of Real-Time Task Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings, pp. 72-82, 1997, Springer, 3-540-63875-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Yosi Ben-Asher, Esti Stein |
Basic Results in Automatic Transformations of Shared Memory Parallel Programs into Sequential Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings, pp. 351-366, 1997, Springer, 3-540-63875-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Yan Georget, Philippe Codognet, Francesca Rossi 0001 |
Implementing Constraint Retraction for Finite Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings, pp. 136-150, 1997, Springer, 3-540-63875-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio |
Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings, pp. 110-120, 1997, Springer, 3-540-63875-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi |
Automated Verification of Behavioural Properties of Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings, pp. 225-238, 1997, Springer, 3-540-63875-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | T. B. Dinesh, Susan M. Üsküdarli |
Share-Where Maintenance in Visual Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings, pp. 297-311, 1997, Springer, 3-540-63875-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Sergei G. Vorobyov |
On the Bounded Theories of Finite Frees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 152-161, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Chengzheng Sun, Yun Yang, Yanchun Zhang, David Chen 0002 |
Distributed Concurrency Control in Real-time Cooperative Editing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 84-95, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jimmy Ho-Man Lee, Ho-fung Leung, Peter J. Stuckey, V. W. L. Tam, Hon-Wing Won |
Using Stochastic Methods to Guide Search in CLP: A Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 43-52, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian |
Sets as Anti-Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 116-128, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | E. Ravindran, Siu Cheung Hui |
Coupling Object Orientation & Deduction - A Modelling Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 355-356, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Tzilla Elrad, Baoling Sheen, Novak V. Nastasic |
CHESSBOARD: A Synergy of Object-Oriented Concurrent Programming and Program Layering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 223-233, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Valarcher |
Intensionality versus Extensionality and Primitive Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 142-151, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | David Harel |
Some Thoughts on Statecharts, 13 Years Later (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 361, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Shigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani |
Formal Verification and Evaluation of Execution Time in the Envelope Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 299-308, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Sugwoo Byun, Richard Kennaway, M. Ronan Sleep |
Lambda-Definable Term rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 106-115, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | J. D. Tygar, Bennet S. Yee, Nevin Heintze |
Cryptographic Postage Indicia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 378-391, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Nicomette, Yves Deswarte |
Symbolic Rights and Vouchers for Access Control in Distributed Object Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 192-203, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio |
Formal Analysis for Continous Systems Controlled by Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 347-348, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | John Thornton 0001, Abdul Sattar 0001 |
An Integer Programming-Based Nurse Rostering System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 357-358, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Chan Fang Khoon, James Seng, L.-S. Ooi, J.-K. Tan, Kevin Mok, Tin Wee Tan |
InterMUD Communications (IMC) Protocol with Extensions to VRMLise MultiUser Domains (MUDs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 341-342, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Wen-Shenq Juang, Chin-Laung Lei |
Blind Threshold Signatures Based on Discrete Logarithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 172-181, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Gert Smolka |
The Oz Programming Language and System (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 377, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Takayasu Kaida, Satoshi Uehara, Kyoki Imamura |
Computation of the k-Error Linear Complexity of Binary Sequences with Period 2n. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 182-191, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Keller, Martin Simons 0001 |
A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 234-243, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michael Carl |
Conjunctive Vector Representations for Set Valued Feature Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 333-334, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Frank K. H. A. Dehne, Siang W. Song |
Randomized Parallel List Ranking for Distributed Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 1-10, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima |
ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 343-344, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Xuandong Li, Dang Van Hung |
Checking Linear Duration Invariants by Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 321-332, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Olin Shivers |
A Universal Scripting Framework or Lambda: The Ultimate "Little Language". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 254-265, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Vijay Chandru, Suman Roy 0001, Ramesh Subrahmanyam |
Constructive Negation in Definite Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 335-336, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Mukesh K. Mohania, Guozhu Dong |
Materialized View Adaption in Distributed Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 353-354, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Fei Shi |
Suffix Arrays for Multiple Strings: A Method for On-Line Multiple String Searches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 11-22, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Shigeru Kusakabe, Kentaro Inenaga, Kiyotoshi Nishimura, Makoto Amamiya |
Implementation Tuning of a Dataflow Language on a Stock Parallel Machine with Visualization Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 349-350, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Ramírez 0001 |
Concurrent Object-Oriented Programming in Tempo++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 244-253, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Xun Yi |
On Design and Analysis of a New Block Cipher. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 213-222, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Hsin-Chu Chen, Alvin S. Lim, Nazir A. Warsi |
Multilevel Master-Slave Parallel Programming Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 337-338, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Yukihiro Hamada, Aohan Mei, Feng Bao 0004, Yoshihide Igarashi |
Broadcasting in Star Graphs with Byzantine Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 162-171, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Joxan Jaffar, Roland H. C. Yap (eds.) |
Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![Springer, 3-540-62031-1 The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Taesoon Park, Sung Bok Cho, Heon Young Yeom |
An Improved Logging and Checkpointing Scheme for Recoverable Distributed Shared Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 74-83, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Chrysostome Bolot |
End-to-End Behavior to the INternet: Measurements, Analysis, and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 362-376, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Greco, Domenico Saccà |
The Expressive Power of "Possible-is-Certain" Semantics (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 33-42, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh |
Constructing More Relevant Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 345-346, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau, Verónica Dahl, Andrew Fall |
Backtrackable State with Linear Affine Implication and Assumption Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 53-63, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Issam A. Hamid, Ferhat Khendek |
A Dynamic Evolution for the Specifications of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 287-298, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Tessier |
Declarative Debugging in Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 64-73, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Li, Omran A. Bukhres |
Overall System for Secure Wireless Mobile Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 351-352, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Liquori, Giuseppe Castagna |
A Typed Lambda Calculus of Objects (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 129-141, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar, R. K. Shyamasundar |
Design of Controllers for Linear Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 309-320, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Zongben Xu, Bo-Ting Yang |
The Heuristics for the Constrained Multicast Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 204-212, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Razvan Voicu |
Synthesizing Parallel Divide-and-Coquer Algorithms Using the List Interleave Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 359-360, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Hui Wu 0001, Wei-Ngan Chin |
Variable Timestamp-Based Distributed Deadlock Detection and Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 96-105, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Markus Theißinger |
Design and Application of a Light-Weight Persistency Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 266-275, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Heribert Vollmer |
Relations Among Parallel and Sequential Computation Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 23-32, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Anca Browne, Zohar Manna, Henny Sipma |
Hierarchical Verification Using Verification Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 276-286, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Shaw-Cheng Chuang |
Improving the X.509 Protocol for ATM Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings, pp. 339-340, 1996, Springer, 3-540-62031-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Xiaojun Chen, Paola Inverardi, Carlo Montangero |
ESP-MC: An Experiment in the Use of Verification Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 396-410, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Milind Gandhe, G. Venkatesh, Amitabha Sanyal |
Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 103-110, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Eliezer A. Albacea |
Leapfrogging Samplesort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 1-9, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Kimihiro Yamamoto, Shozo Naito, Masaki Itoh |
Inductive Logic Programming Based on Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 254-268, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michal Iglewski, Marcin Kubica, Jan Madey |
Trace Specifications of Non-Deterministic Multi-Object Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 381-395, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Luca Baffi, Rossella Petreschi |
Parallel Maximal Matching on Minimal Vertex Series Parallel Digraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 34-47, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Kanchana Kanchanasut, Jean-Jacques Lévy (eds.) |
Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![Springer, 3-540-60688-2 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Feixiong Liu, Thomas Peikenkamp, Werner Damm |
An Extended Gradient Model for NUMA Multiprocessor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 210-224, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Pankaj Jalote |
Formalizing Inductive Proofs of Message Recovery in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 187-194, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ming-Yang Kao |
Minimal Linear Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 23-33, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Alan Mycroft, Pierpaolo Degano, Corrado Priami |
Complexity as a Basis for Comparing Semantic Models of Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 141-155, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Sugwoo Byun, Richard Kennaway, M. Ronan Sleep |
Transformation of Orthogonal Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 73-87, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan |
TROM - An Object Model for Reactive System Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 350-364, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Shan-Hwei Nienhuys-Cheng, Ronald de Wolf |
The Equivalence of the Subsumption Theorem and the Refutation-Completeness for Unconstrained Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 269-285, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | N. Raja 0001, R. K. Shyamasundar |
Combinatory Formulations of Concurrent Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 156-170, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Fraczak |
Multi-Action Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 126-140, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Leizhen Cai |
Spanning 2-Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 10-22, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Xinfeng Ye, John A. Keane |
Detecting Distributed Termination in the Presence of Node Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 195-209, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Philip Chan, Dang Van Hung |
Duration Calculus Specification of Schedulimg for Tasks with Shared Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 365-380, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Shao Dong Chen, Hong Shen 0001, Rodney W. Topor |
Efficient Parallel Permutation-Based Range-Join Algorithms on Mesh-Connected Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 225-238, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Viet Hai Nguyen, Peter Widmayer |
Binary Space Partitions for Sets of Hyperrectangles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 59-72, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Niehren, Martin Müller 0001 |
Constraints for Free in Concurrent Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 171-186, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh |
An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 88-102, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Penny Anderson, David A. Basin |
Deriving and Applying Logic Program Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 301-318, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Hongjun Lu, Kian-Lee Tan |
Pipelined Band Join in Shared-Nothing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 239-253, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar |
Preemption Primitives in Reactive Languages (A Preliminary Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 111-125, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ramesh Bharadwaj, Amy P. Felty, Frank A. Stomp |
Formalizing Inductive Proofs of Network Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 335-349, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Liem Ngo, Peter Haddawy |
Probabilistic Logic Programming and Bayesian Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 286-300, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Tak Wah Lam, Ka Hing Lee |
Efficient Equality-Testing and Updating of Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 48-58, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bo-Ming Tong, Ho-fung Leung |
Performance of a Data-Parallel Concurrent Constraint Programming System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 319-334, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|