default search action
2. ASIAN 1996: Singapore
- Joxan Jaffar, Roland H. C. Yap:
Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings. Lecture Notes in Computer Science 1179, Springer 1996, ISBN 3-540-62031-1
Algorithms
- Frank K. H. A. Dehne, Siang W. Song:
Randomized Parallel List Ranking for Distributed Memory Multiprocessors. 1-10 - Fei Shi:
Suffix Arrays for Multiple Strings: A Method for On-Line Multiple String Searches. 11-22 - Heribert Vollmer:
Relations Among Parallel and Sequential Computation Models. 23-32
Constraints and Logic Programming
- Sergio Greco, Domenico Saccà:
The Expressive Power of "Possible-is-Certain" Semantics (Extended Abstract). 33-42 - 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. 43-52 - Paul Tarau, Verónica Dahl, Andrew Fall:
Backtrackable State with Linear Affine Implication and Assumption Grammars. 53-63 - Alexandre Tessier:
Declarative Debugging in Constraint Logic Programming. 64-73
Distributed Systems
- Taesoon Park, Sung Bok Cho, Heon Young Yeom:
An Improved Logging and Checkpointing Scheme for Recoverable Distributed Shared Memory. 74-83 - Chengzheng Sun, Yun Yang, Yanchun Zhang, David Chen:
Distributed Concurrency Control in Real-time Cooperative Editing Systems. 84-95 - Hui Wu, Wei-Ngan Chin:
Variable Timestamp-Based Distributed Deadlock Detection and Resolution. 96-105
Formal Systems
- Sugwoo Byun, Richard Kennaway, M. Ronan Sleep:
Lambda-Definable Term rewriting Systems. 106-115 - Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian:
Sets as Anti-Chains. 116-128 - Luigi Liquori, Giuseppe Castagna:
A Typed Lambda Calculus of Objects (Extended Abstract). 129-141 - Pierre Valarcher:
Intensionality versus Extensionality and Primitive Recursion. 142-151 - Sergei G. Vorobyov:
On the Bounded Theories of Finite Frees. 152-161
Networking and Security
- Yukihiro Hamada, Aohan Mei, Feng Bao, Yoshihide Igarashi:
Broadcasting in Star Graphs with Byzantine Failures. 162-171 - Wen-Shenq Juang, Chin-Laung Lei:
Blind Threshold Signatures Based on Discrete Logarithm. 172-181 - Takayasu Kaida, Satoshi Uehara, Kyoki Imamura:
Computation of the k-Error Linear Complexity of Binary Sequences with Period 2n. 182-191 - Vincent Nicomette, Yves Deswarte:
Symbolic Rights and Vouchers for Access Control in Distributed Object Systems. 192-203 - Zongben Xu, Bo-Ting Yang:
The Heuristics for the Constrained Multicast Routing. 204-212 - Xun Yi:
On Design and Analysis of a New Block Cipher. 213-222
Programming and Systems
- Tzilla Elrad, Baoling Sheen, Novak V. Nastasic:
CHESSBOARD: A Synergy of Object-Oriented Concurrent Programming and Program Layering. 223-233 - Gabriele Keller, Martin Simons:
A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages. 234-243 - Rafael Ramírez:
Concurrent Object-Oriented Programming in Tempo++. 244-253 - Olin Shivers:
A Universal Scripting Framework or Lambda: The Ultimate "Little Language". 254-265 - Markus Theißinger:
Design and Application of a Light-Weight Persistency Mechanism. 266-275
Specification and Verification
- Anca Browne, Zohar Manna, Henny Sipma:
Hierarchical Verification Using Verification Diagrams. 276-286 - Issam A. Hamid, Ferhat Khendek:
A Dynamic Evolution for the Specifications of Distributed Systems. 287-298 - Shigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani:
Formal Verification and Evaluation of Execution Time in the Envelope Theory. 299-308 - Rupak Majumdar, R. K. Shyamasundar:
Design of Controllers for Linear Hybrid Systems. 309-320 - Xuandong Li, Dang Van Hung:
Checking Linear Duration Invariants by Linear Programming. 321-332
Posters
- Michael Carl:
Conjunctive Vector Representations for Set Valued Feature Descriptions. 333-334 - Vijay Chandru, Suman Roy, Ramesh Subrahmanyam:
Constructive Negation in Definite Constraint Logic Programs. 335-336 - Hsin-Chu Chen, Alvin S. Lim, Nazir A. Warsi:
Multilevel Master-Slave Parallel Programming Models. 337-338 - Shaw-Cheng Chuang:
Improving the X.509 Protocol for ATM Networks. 339-340 - 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). 341-342 - Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima:
ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract). 343-344 - Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh:
Constructing More Relevant Models. 345-346 - Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio:
Formal Analysis for Continous Systems Controlled by Programs. 347-348 - Shigeru Kusakabe, Kentaro Inenaga, Kiyotoshi Nishimura, Makoto Amamiya:
Implementation Tuning of a Dataflow Language on a Stock Parallel Machine with Visualization Tools. 349-350 - Arthur Li, Omran A. Bukhres:
Overall System for Secure Wireless Mobile Networks. 351-352 - Mukesh K. Mohania, Guozhu Dong:
Materialized View Adaption in Distributed Databases. 353-354 - E. Ravindran, Siu Cheung Hui:
Coupling Object Orientation & Deduction - A Modelling Perspective. 355-356 - John Thornton, Abdul Sattar:
An Integer Programming-Based Nurse Rostering System. 357-358 - Razvan Voicu:
Synthesizing Parallel Divide-and-Coquer Algorithms Using the List Interleave Operator. 359-360
Keynote Lecture
- David Harel:
Some Thoughts on Statecharts, 13 Years Later (Abstract). 361
Invited Lectures
- Jean-Chrysostome Bolot:
End-to-End Behavior to the INternet: Measurements, Analysis, and Applications. 362-376 - Gert Smolka:
The Oz Programming Language and System (Abstract). 377 - J. D. Tygar, Bennet S. Yee, Nevin Heintze:
Cryptographic Postage Indicia. 378-391
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.