Conferences in DBLP
Michael O. Rabin Correctness of Programs and Protocols through Randomization (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas Ayache Medical Image Analysis and Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Randal E. Bryant , Miroslav N. Velev Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Merz Rules for Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Büssow , Wolfgang Grieskamp Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ramaswamy Ramanujam Rules for Trace Consistent Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Sasikumar Punnekkat , Robert I. Davis , Alan Burns Sensitivity Analysis of Real-Time Task Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Shin-Mu Tseng , Yeh-Hao Chin , Wei-Pang Yang Dynamic Multiprocessor Scheduling for Supporting Real-Time Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Zhiyi Huang , Wan-Ju Lei , Chengzheng Sun , Abdul Sattar Heuristic Diff Acquiring in Lazy Release Consistency Model. [Citation Graph (0, 0)][DBLP ] Conf ] Tetsuya Mizutani , Shigeru Igarashi , Kohji Tomita , Masayuki Shio Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Rattana Wetprasit , Abdul Sattar , Lina Khatib A Generalized Framework for Reasoning with Multi-Point Events. [Citation Graph (0, 0)][DBLP ] Conf ] Yan Georget , Philippe Codognet , Francesca Rossi Implementing Constraint Retraction for Finite Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Plagemann , Vera Goebel INSTANCE: The Intermediate Storage Node Concept. [Citation Graph (0, 0)][DBLP ] Conf ] Xuandong Li , Dang Van Hung , Tao Zheng Checking Hybrid Automata for Linear Duration Invariants. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Mikk , Yassine Lakhnech , Michael Siegel Hierarchical Automata as Model for Statecharts. [Citation Graph (0, 0)][DBLP ] Conf ] Masateru Harao Proof Discovery in LK System By Analogy. [Citation Graph (0, 0)][DBLP ] Conf ] Nobuhiro Inuzuka , Hirohisa Seki , Hidenori Itoh Efficient Induction of Executable Logic Programs from Examples. [Citation Graph (0, 0)][DBLP ] Conf ] Baudouin Le Charlier , Christophe Leclère , Sabina Rossi , Agostino Cortesi Automated Verification of Behavioural Properties of Prolog Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Boudol Typing the Use of Resources in a Concurrent Calculus (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Paul Roe An Imperative Language with Read/Write Type Modes. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuhiko Ohno , Masahiko Ikawa , Masahiro Goshima , Shin-ichiro Mori , Hiroshi Nakashima , Shinji Tomita Efficient Goal Scheduling in Concurrent Logic Language using Type-Based Dependency Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Ryu Hasegawa An Analysis of Divisibility Orderings and Recursive Path Orderings. [Citation Graph (0, 0)][DBLP ] Conf ] T. B. Dinesh , Susan M. Üsküdarli Share-Where Maintenance in Visual Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Satoshi Fujita A Fault Tolerant Broadcast Scheme in Star Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Ken-etsu Fujita Calculus of Classical Proofs I. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Watson , Eric Salzman Tracing the Evaluation of Lazy Functional Languages: A Model and its Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Yosi Ben-Asher , Esti Stein Basic Results in Automatic Transformations of Shared Memory Parallel Programs into Sequential Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Mauri Kaipainen , Pantelis Papadopoulos , Pasi Karhu Recurrent Oscillatory Self-organizing Map: Adapting to Complex Environmental Periodicities. [Citation Graph (0, 0)][DBLP ] Conf ] Chidchanok Lursinsap , Kanchana Kanchanasut , Thit Siriboon Basic Binary Decision Diagram Operations for Image Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Tatsuo Nakajima Adaptive Object Storage System for Mobile Computing Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Morioka Tomohiko Structure of User Interface Module for Practical Internet Messages. [Citation Graph (0, 0)][DBLP ] Conf ] Mihal Badjonski , Mirjana Ivanovic , Zoran Budimac Software Specification Using LASS. [Citation Graph (0, 0)][DBLP ] Conf ] Eiichi Horita , Ken Mano Nepi²: A Two-Level Calculus for Network Programming Based on the pi-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Man Lin , Jacek Malec , Simin Nadjm-Tehrani On Semantics of Reactive Rule-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Raymond Gagné , John Plaice The Non-Standard Semantics of Esterel. [Citation Graph (0, 0)][DBLP ] Conf ] Shigeru Kusakabe , Kentaro Inenaga , Makoto Amamiya Hybrid Support for Lenient Implementation of Array-Comprehension. [Citation Graph (0, 0)][DBLP ] Conf ] Mouhssine Bouzoubaa Solver for Hierarchical CSP Containing Several Constraint Types and Multi-output Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] 