Search results for "ASIAN"

Hits ?▲	Authors	Title	Venue	Year	Link
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	ASIAN	1997	DBLP DOI BibTeX RDF
1	Richard Watson 0001, Eric Salzman	Tracing the Evaluation of Lazy Functional Languages: A Model and its Implementation.	ASIAN	1997	DBLP DOI BibTeX RDF
1	Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh	Efficient Induction of Executable Logic Programs from Examples.	ASIAN	1997	DBLP DOI BibTeX RDF
1	Randal E. Bryant, Miroslav N. Velev	Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation.	ASIAN	1997	DBLP DOI BibTeX RDF
1	Erich Mikk, Yassine Lakhnech, Michael Siegel	Hierarchical Automata as Model for Statecharts.	ASIAN	1997	DBLP DOI BibTeX RDF
1	Gérard Boudol	Typing the Use of Resources in a Concurrent Calculus (Extended Abstract).	ASIAN	1997	DBLP DOI BibTeX RDF
1	Stephan Merz	Rules for Abstraction.	ASIAN	1997	DBLP DOI BibTeX RDF
1	Nicholas Ayache	Medical Image Analysis and Simulation.	ASIAN	1997	DBLP DOI BibTeX RDF
1	Tatsuo Nakajima	Adaptive Object Storage System for Mobile Computing Environments.	ASIAN	1997	DBLP DOI BibTeX RDF
1	Thomas Plagemann, Vera Goebel	INSTANCE: The Intermediate Storage Node Concept.	ASIAN	1997	DBLP DOI BibTeX RDF
1	Sasikumar Punnekkat, Robert I. Davis 0001, Alan Burns 0001	Sensitivity Analysis of Real-Time Task Sets.	ASIAN	1997	DBLP DOI BibTeX RDF
1	Yosi Ben-Asher, Esti Stein	Basic Results in Automatic Transformations of Shared Memory Parallel Programs into Sequential Programs.	ASIAN	1997	DBLP DOI BibTeX RDF
1	Yan Georget, Philippe Codognet, Francesca Rossi 0001	Implementing Constraint Retraction for Finite Domains.	ASIAN	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.	ASIAN	1997	DBLP DOI BibTeX RDF
1	Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi	Automated Verification of Behavioural Properties of Prolog Programs.	ASIAN	1997	DBLP DOI BibTeX RDF
1	T. B. Dinesh, Susan M. Üsküdarli	Share-Where Maintenance in Visual Algebraic Specifications.	ASIAN	1997	DBLP DOI BibTeX RDF
1	Sergei G. Vorobyov	On the Bounded Theories of Finite Frees.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Chengzheng Sun, Yun Yang, Yanchun Zhang, David Chen 0002	Distributed Concurrency Control in Real-time Cooperative Editing Systems.	ASIAN	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.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian	Sets as Anti-Chains.	ASIAN	1996	DBLP DOI BibTeX RDF
1	E. Ravindran, Siu Cheung Hui	Coupling Object Orientation & Deduction - A Modelling Perspective.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Tzilla Elrad, Baoling Sheen, Novak V. Nastasic	CHESSBOARD: A Synergy of Object-Oriented Concurrent Programming and Program Layering.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Pierre Valarcher	Intensionality versus Extensionality and Primitive Recursion.	ASIAN	1996	DBLP DOI BibTeX RDF
1	David Harel	Some Thoughts on Statecharts, 13 Years Later (Abstract).	ASIAN	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.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Sugwoo Byun, Richard Kennaway, M. Ronan Sleep	Lambda-Definable Term rewriting Systems.	ASIAN	1996	DBLP DOI BibTeX RDF
1	J. D. Tygar, Bennet S. Yee, Nevin Heintze	Cryptographic Postage Indicia.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Vincent Nicomette, Yves Deswarte	Symbolic Rights and Vouchers for Access Control in Distributed Object Systems.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio	Formal Analysis for Continous Systems Controlled by Programs.	ASIAN	1996	DBLP DOI BibTeX RDF
1	John Thornton 0001, Abdul Sattar 0001	An Integer Programming-Based Nurse Rostering System.	ASIAN	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).	ASIAN	1996	DBLP DOI BibTeX RDF
1	Wen-Shenq Juang, Chin-Laung Lei	Blind Threshold Signatures Based on Discrete Logarithm.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Gert Smolka	The Oz Programming Language and System (Abstract).	ASIAN	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.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Gabriele Keller, Martin Simons 0001	A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Michael Carl	Conjunctive Vector Representations for Set Valued Feature Descriptions.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Frank K. H. A. Dehne, Siang W. Song	Randomized Parallel List Ranking for Distributed Memory Multiprocessors.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima	ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract).	ASIAN	1996	DBLP DOI BibTeX RDF
1	Xuandong Li, Dang Van Hung	Checking Linear Duration Invariants by Linear Programming.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Olin Shivers	A Universal Scripting Framework or Lambda: The Ultimate "Little Language".	ASIAN	1996	DBLP DOI BibTeX RDF
1	Vijay Chandru, Suman Roy 0001, Ramesh Subrahmanyam	Constructive Negation in Definite Constraint Logic Programs.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Mukesh K. Mohania, Guozhu Dong	Materialized View Adaption in Distributed Databases.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Fei Shi	Suffix Arrays for Multiple Strings: A Method for On-Line Multiple String Searches.	ASIAN	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.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Rafael Ramírez 0001	Concurrent Object-Oriented Programming in Tempo++.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Xun Yi	On Design and Analysis of a New Block Cipher.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Hsin-Chu Chen, Alvin S. Lim, Nazir A. Warsi	Multilevel Master-Slave Parallel Programming Models.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Yukihiro Hamada, Aohan Mei, Feng Bao 0004, Yoshihide Igarashi	Broadcasting in Star Graphs with Byzantine Failures.	ASIAN	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	ASIAN	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.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Jean-Chrysostome Bolot	End-to-End Behavior to the INternet: Measurements, Analysis, and Applications.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Sergio Greco, Domenico Saccà	The Expressive Power of "Possible-is-Certain" Semantics (Extended Abstract).	ASIAN	1996	DBLP DOI BibTeX RDF
1	Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh	Constructing More Relevant Models.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Paul Tarau, Verónica Dahl, Andrew Fall	Backtrackable State with Linear Affine Implication and Assumption Grammars.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Issam A. Hamid, Ferhat Khendek	A Dynamic Evolution for the Specifications of Distributed Systems.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Alexandre Tessier	Declarative Debugging in Constraint Logic Programming.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Arthur Li, Omran A. Bukhres	Overall System for Secure Wireless Mobile Networks.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Luigi Liquori, Giuseppe Castagna	A Typed Lambda Calculus of Objects (Extended Abstract).	ASIAN	1996	DBLP DOI BibTeX RDF
1	Rupak Majumdar, R. K. Shyamasundar	Design of Controllers for Linear Hybrid Systems.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Zongben Xu, Bo-Ting Yang	The Heuristics for the Constrained Multicast Routing.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Razvan Voicu	Synthesizing Parallel Divide-and-Coquer Algorithms Using the List Interleave Operator.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Hui Wu 0001, Wei-Ngan Chin	Variable Timestamp-Based Distributed Deadlock Detection and Resolution.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Markus Theißinger	Design and Application of a Light-Weight Persistency Mechanism.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Heribert Vollmer	Relations Among Parallel and Sequential Computation Models.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Anca Browne, Zohar Manna, Henny Sipma	Hierarchical Verification Using Verification Diagrams.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Shaw-Cheng Chuang	Improving the X.509 Protocol for ATM Networks.	ASIAN	1996	DBLP DOI BibTeX RDF
1	Xiaojun Chen, Paola Inverardi, Carlo Montangero	ESP-MC: An Experiment in the Use of Verification Tools.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Milind Gandhe, G. Venkatesh, Amitabha Sanyal	Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract).	ASIAN	1995	DBLP DOI BibTeX RDF
1	Eliezer A. Albacea	Leapfrogging Samplesort.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Kimihiro Yamamoto, Shozo Naito, Masaki Itoh	Inductive Logic Programming Based on Genetic Algorithm.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Michal Iglewski, Marcin Kubica, Jan Madey	Trace Specifications of Non-Deterministic Multi-Object Modules.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Luca Baffi, Rossella Petreschi	Parallel Maximal Matching on Minimal Vertex Series Parallel Digraphs.	ASIAN	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	ASIAN	1995	DBLP DOI BibTeX RDF
1	Feixiong Liu, Thomas Peikenkamp, Werner Damm	An Extended Gradient Model for NUMA Multiprocessor Systems.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Pankaj Jalote	Formalizing Inductive Proofs of Message Recovery in Distributed Systems.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Ming-Yang Kao	Minimal Linear Invariants.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Alan Mycroft, Pierpaolo Degano, Corrado Priami	Complexity as a Basis for Comparing Semantic Models of Concurrency.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Sugwoo Byun, Richard Kennaway, M. Ronan Sleep	Transformation of Orthogonal Term Rewriting Systems.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan	TROM - An Object Model for Reactive System Development.	ASIAN	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.	ASIAN	1995	DBLP DOI BibTeX RDF
1	N. Raja 0001, R. K. Shyamasundar	Combinatory Formulations of Concurrent Languages.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Wojciech Fraczak	Multi-Action Process Algebra.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Leizhen Cai	Spanning 2-Trees.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Xinfeng Ye, John A. Keane	Detecting Distributed Termination in the Presence of Node Failure.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Philip Chan, Dang Van Hung	Duration Calculus Specification of Schedulimg for Tasks with Shared Resources.	ASIAN	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.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Viet Hai Nguyen, Peter Widmayer	Binary Space Partitions for Sets of Hyperrectangles.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Joachim Niehren, Martin Müller 0001	Constraints for Free in Concurrent Computation.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh	An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Penny Anderson, David A. Basin	Deriving and Applying Logic Program Transformers.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Hongjun Lu, Kian-Lee Tan	Pipelined Band Join in Shared-Nothing Systems.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar	Preemption Primitives in Reactive Languages (A Preliminary Report).	ASIAN	1995	DBLP DOI BibTeX RDF
1	Ramesh Bharadwaj, Amy P. Felty, Frank A. Stomp	Formalizing Inductive Proofs of Network Algorithms.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Liem Ngo, Peter Haddawy	Probabilistic Logic Programming and Bayesian Networks.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Tak Wah Lam, Ka Hing Lee	Efficient Equality-Testing and Updating of Sets.	ASIAN	1995	DBLP DOI BibTeX RDF
1	Bo-Ming Tong, Ho-fung Leung	Performance of a Data-Parallel Concurrent Constraint Programming System.	ASIAN	1995	DBLP DOI BibTeX RDF

Publications at "ASIAN"( http://dblp.L3S.de/Venues/ASIAN )