Search results for "Brook "

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki	An Extension of the Testing Method for Processes Passing Infinite Values.	NAPAW	1992	DBLP DOI BibTeX RDF
27	Rosvelter João Coelho da Costa, Jean-Pierre Courtiat	A Causality-based Semantics for CCS.	NAPAW	1992	DBLP DOI BibTeX RDF
27	Lubos Brim	Modal Logics in Timed Process Algebras.	NAPAW	1992	DBLP DOI BibTeX RDF
27	Damas P. Gruska, Andrea Maggiolo-Schettini	Process Communication Environment.	NAPAW	1992	DBLP DOI BibTeX RDF
27	Frank S. de Boer, J. Coenen, Rob Gerth	Exception Handling in Process Algebra.	NAPAW	1992	DBLP DOI BibTeX RDF
27	Brian J. Ross	A π-calculus Semantics of Logical Variables and Unification.	NAPAW	1992	DBLP DOI BibTeX RDF
27	Jos C. M. Baeten	The Total Order Assumption.	NAPAW	1992	DBLP DOI BibTeX RDF
27	Jens Chr. Godskesen, Kim Guldstrand Larsen	Real-Time Calculi and Expansion Theorems.	NAPAW	1992	DBLP DOI BibTeX RDF
27	Zvi Schreiber	Verification of Value-Passing Systems.	NAPAW	1992	DBLP DOI BibTeX RDF
27	Pierpaolo Degano, Rocco De Nicola, Ugo Montanari	Observation Trees.	NAPAW	1992	DBLP DOI BibTeX RDF
27	Bard Bloom, Robert Paige	Computing Ready Simulations Efficiently.	NAPAW	1992	DBLP DOI BibTeX RDF
27	Paul C. Brown	Constructive Semantics.	NAPAW	1992	DBLP DOI BibTeX RDF
27	Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee 0001	CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities.	NAPAW	1992	DBLP DOI BibTeX RDF
27	Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka	Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF
27	Frits W. Vaandrager, Nancy A. Lynch	Action Transducers and Timed Automata.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Søren Christensen, Hans Hüttel, Colin Stirling	Bisimulation Equivalence is Decidable for all Context-Free Processes.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi	Minimization of Timed Transition Systems.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Olaf Burkart, Bernhard Steffen	Model Checking for Context-Free Processes.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Michele Boreale, Rocco De Nicola	Testing Equivalence for Mobile Processes (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF
27	Frank A. Stomp	Preserving Specific Properties in Programm Development: How to Debug Programs (Conference Version).	CONCUR	1992	DBLP DOI BibTeX RDF
27	Ed Brinksma	On the Uniqueness of Fixpoints Modulo Observation Congruence.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen	At-Most-Once Message Delivery. A Case Study in Algorithm Verification.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Kim Guldstrand Larsen, Arne Skou	Compositional Verification of Probabilistic Processes.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn	A Theory of Process with Localities (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF
27	Gul Agha, Ian A. Mason, Scott F. Smith 0001, Carolyn L. Talcott	Towards a Theory of Actor Computation.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Steven M. German	Programming in a General Model of Synchronization.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Lalita Jategaonkar, Albert R. Meyer	Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Jan Friso Groote, Faron Moller	Verification of Parallel Systems via Decomposition.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Jim Davies, Steve A. Schneider	Using CSP to Verify a Timed Protocol over a Fair Medium.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Jos C. M. Baeten, Jan A. Bergstra	Discrete Time Process Algebra.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Éric Badouel, Philippe Darondeau	Structural Operational Specifications and the Trace Automata.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Steven Klusener	The Silent Step in Time.	CONCUR	1992	DBLP DOI BibTeX RDF	& Phrases Real Time Process Algebra, Abstraction, ACP
27	Arend Rensink	Posets for Configurations!	CONCUR	1992	DBLP DOI BibTeX RDF
27	Günter Karjoth	Implementing LOTOS Specifications by Communicating State Machines.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Ursula Goltz, Ruurd Kuiper 0001, Wojciech Penczek	Propositional Temporal Logics and Equivalences.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Alexander Moshe Rabinovich	Logic of Trace Languages (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF
27	Matthew Hennessy	Concurrent Testing of Processes (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF
27	Rob Gerth, Ruurd Kuiper 0001, John Segers	Interface Refinement in Reactive Systems (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF	interface change, leads to property, ?-automata, concurrency, temporal logic, refinement, transition systems
27	Roope Kaivola, Antti Valmari	The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Robin Milner	The Polyadic Pi-calculus (Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF
27	Doron A. Peled	Sometimes 'Some' is as Good as 'All'.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Davide Sangiorgi, Robin Milner	The Problem of "Weak Bisimulation up to".	CONCUR	1992	DBLP DOI BibTeX RDF
27	Joachim Parrow, Peter Sjödin	Multiway Synchronization Verified with Coupled Simulation.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Henri B. Weinberg, Lenore D. Zuck	Timed Ethernet: Real-Time Formal Specification of Ethernet.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Søren Christensen	Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Amir Pnueli	How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF	discrete and continuous systems, Real-time, fairness, hybrid systems, Statecharts, Liveness, timed transitions system, justice
27	Vaughan R. Pratt	The Duality of TIme and Information.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Nick Reingold, Da-Wei Wang, Lenore D. Zuck	Games I/O Automata Play (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF
27	Florence Maraninchi	Operational and Compositional Semantics of Synchronous Automaton Compositions.	CONCUR	1992	DBLP DOI BibTeX RDF
27	Ehud Shapiro	Embeddings Among Concurrent Programming Languages (Preliminary Version).	CONCUR	1992	DBLP DOI BibTeX RDF
27	Eric Goubault, Thomas P. Jensen	Homology of Higher Dimensional Automata.	CONCUR	1992	DBLP DOI BibTeX RDF
27	José Meseguer 0001, Ugo Montanari, Vladimiro Sassone	On the Semantics of Petri Nets.	CONCUR	1992	DBLP DOI BibTeX RDF
27		Computer Design: VLSI in Computers and Processors, ICCD 1988., Proceedings of the 1988 IEEE International Conference on, Rye Brook, NY, USA, October 3-5, 1988	ICCD	1988	DBLP BibTeX RDF
27	Kees van Berkel 0001, Martin Rem, Ronald W. J. J. Saeijs	VLSI programming.	ICCD	1988	DBLP DOI BibTeX RDF
27	Liliana Díaz-Olavarrieta, Safwat G. Zaky	Direct synthesis of mapping circuits.	ICCD	1988	DBLP DOI BibTeX RDF
27	J. Ishikawa, H. Sato, M. Hiramine, Kasumi Ishida, S. Oguri, Y. Kazuma, S. Murai	A rule based logic reorganization system LORES/EX.	ICCD	1988	DBLP DOI BibTeX RDF
27	Catherine H. Gebotys, Mohamed I. Elmasry	Integrated design and test synthesis.	ICCD	1988	DBLP DOI BibTeX RDF
27	Danny F. Newport, H. M. Dent, M. E. Casey, Donald W. Bouldin	A modular VLSI architecture for coincidence detection in positron emission tomography.	ICCD	1988	DBLP DOI BibTeX RDF
27	Mary Jane Irwin, Robert Michael Owens	A comparison of two digit serial VLSI adders.	ICCD	1988	DBLP DOI BibTeX RDF
27	J. Kelly Flanagan, Brent E. Nelson	Processor design using path programmable logic.	ICCD	1988	DBLP DOI BibTeX RDF
27	Paul L. Borrill	Limits of backplane bus design.	ICCD	1988	DBLP DOI BibTeX RDF
27	James E. Smith 0001, Gregory E. Dermer, B. D. Vanderwarn, S. D. Klinger, C. M. Rozewski, D. L. Fowler, K. R. Scidmore, James Laudon	The Astronautics ZS-1 processor.	ICCD	1988	DBLP DOI BibTeX RDF
27	Joseph R. Cavallaro, Franklin T. Luk	Floating point CORDIC for matrix computations.	ICCD	1988	DBLP DOI BibTeX RDF
27	Antony H. Fung, David J. Chen, Ying-Nan Lai, Bing J. Sheu	Knowledge-based analog circuit synthesis with flexible architecture.	ICCD	1988	DBLP DOI BibTeX RDF
27	Chin-Long Wey, Sin-Min Chang	Test generation of C-testable array dividers.	ICCD	1988	DBLP DOI BibTeX RDF
27	Pieter S. van der Meulen, Ming-Der Huang, Uzi Bar-Gadda, Eva Lee, Peter G. M. Baltus	EXIST: an interactive VLSI architectural environment.	ICCD	1988	DBLP DOI BibTeX RDF
27	Mehdi Hatamian, Larry A. Hornak, Stuart K. Tewksbury	Potential applications of high-Tc superconducting transmission lines in integrated systems.	ICCD	1988	DBLP DOI BibTeX RDF
27	Jon Turino	IEEE P1149 Proposed Standard Testability Bus - An update with case histories.	ICCD	1988	DBLP DOI BibTeX RDF
27	Jürgen Jahns	Free-space optical crossover interconnects for parallel computers.	ICCD	1988	DBLP DOI BibTeX RDF
27	Paul K. Sun	An octagonal geometry compactor.	ICCD	1988	DBLP DOI BibTeX RDF
27	Joseph Lis, Daniel D. Gajski	Synthesis from VHDL.	ICCD	1988	DBLP DOI BibTeX RDF
27	P. Duba, Ravi K. Iyer	Transient fault behavior in a microprocessor - A case study.	ICCD	1988	DBLP DOI BibTeX RDF
27	Tom Riordan, G. P. Grewal, Simon Hsu, John Kinsel, Jeff Libby, Roger March, Marvin Mills, Paul Ries, Randy Scofield	The MIPS M2000 system.	ICCD	1988	DBLP DOI BibTeX RDF
27	D. P. Dutt, G. Lakhani	Optimization for automatic cell assembly.	ICCD	1988	DBLP DOI BibTeX RDF
27	Chip C. Stearns, Daniel Luthi, Peter A. Ruetz, Peng H. Ang	Design of a 20 MHz 64-tap transversal filter.	ICCD	1988	DBLP DOI BibTeX RDF
27	N. S. H. Brooks, R. J. Mack	A novel approach to the synthesis of practical datapath architectures using artificial intelligence techniques.	ICCD	1988	DBLP DOI BibTeX RDF
27	Sidi Yom Tov, Benjamin Maytal, Z. Bikovsky, Dan Biran, Jonathan Levy II, Y. Milstain, A. Ostrer	System interface of the NS32532 microprocessor.	ICCD	1988	DBLP DOI BibTeX RDF
27	Robert Lisanke, Franc Brglez, Gershon Kedem	McMAP: a fast technology mapping procedure for multi-level logic synthesis.	ICCD	1988	DBLP DOI BibTeX RDF
27	Krishna P. Belkhale, Prith Banerjee	Reconfiguration strategies in VLSI processor arrays.	ICCD	1988	DBLP DOI BibTeX RDF
27	Antonio Lioy	Adaptative backtrace and dynamic partitioning enhance ATPG.	ICCD	1988	DBLP DOI BibTeX RDF
27	Shannon Shen 0002, Surendar Magar, Raul Aguilar, Gerry Luikuo, Mike Fleming, K. Rishavy, K. Murphy, C. Furman	A high performance CMOS chipset for FFT processors.	ICCD	1988	DBLP DOI BibTeX RDF
27	William E. Engeler, Menahem Lowy, John Pedicone, John Bloomer, James Richotte, David Chan	A high speed static CMOS PLA architecture.	ICCD	1988	DBLP DOI BibTeX RDF
27	Paolo Camurati, Paolo Prinetto, Matteo Sonza Reorda	Random testability analysis: comparing and evaluating existing approaches.	ICCD	1988	DBLP DOI BibTeX RDF
27	A. C. J. Stroucken, G. J. J. M. van de Ven	MILES: a mixed level simulator for analog/digital design.	ICCD	1988	DBLP DOI BibTeX RDF
27	Vishwani D. Agrawal, Hassan Farhat, Sharad Seth	Test generation by fault sampling.	ICCD	1988	DBLP DOI BibTeX RDF
27	Randall J. Brouwer, Prithviraj Banerjee	A parallel simulated annealing algorithm for channel routing on a hypercube multiprocessor.	ICCD	1988	DBLP DOI BibTeX RDF
27	Stephen A. Bowen	The Cray Y-MP-a VLSI supercomputer.	ICCD	1988	DBLP DOI BibTeX RDF
27	King Fai Pang, Hsui-Wei Soong, Randal Sexton, Peng-Huat Ang	Generation of high speed CMOS multiplier-accumulators.	ICCD	1988	DBLP DOI BibTeX RDF
27	Tadahiko Nishimukai, Hideo Inayoshi, Kikuko Takagi, Kazuhiko Iwasaki, Ikuya Kawasaki, M. Hanawa, Takeshi Okada	Cache-based pipeline architecture in the Hitachi H32/200 32-bit microprocessor.	ICCD	1988	DBLP DOI BibTeX RDF
27	Atsushi Takahara, Takashi Nanya	A higher level hardware design verification.	ICCD	1988	DBLP DOI BibTeX RDF
27	Olgierd A. Palusinski, Andreas C. Cangellaris, John L. Prince, J. C. Liao, L. Vakanis	Modeling and simulation of coupled lossy lines for VLSI interconnections.	ICCD	1988	DBLP DOI BibTeX RDF
27	Sally A. Hayati, Alice C. Parker, John J. Granacki	Representation of control and timing behavior with applications to interface synthesis.	ICCD	1988	DBLP DOI BibTeX RDF
27	Pascal Faudemay, Daniel Etiemble, Jean-Luc Béchennec	A highly parallel processor with an instruction set including relational algebra.	ICCD	1988	DBLP DOI BibTeX RDF
27	H. V. Jagadish	Sorting on an array of processors.	ICCD	1988	DBLP DOI BibTeX RDF
27	Rathin Putatunda, David Smith, Michael Stebnisky, Carl Puschak, Paul Patent	VITAL: fully automatic placement strategies for very large semicustom designs.	ICCD	1988	DBLP DOI BibTeX RDF
27	D. K. Lewis, J. P. Costello, D. M. O'Connor	Design tradeoffs for a 40 MIPS (peak) CMOS 32-bit microprocessor.	ICCD	1988	DBLP DOI BibTeX RDF
27	Dwight D. Hill	Alternative strategies for applying min-cut to VLSI placement.	ICCD	1988	DBLP DOI BibTeX RDF
27	Rick L. Spickelmier, A. Richard Newton	Critic: a knowledge-based program for critiquing circuit designs.	ICCD	1988	DBLP DOI BibTeX RDF
27	Vincenzo Piuri, Renato Stefanelli	Use of redundant binary representation for fault-tolerant arithmetic array processors.	ICCD	1988	DBLP DOI BibTeX RDF
27	Conrad J. Dell'Oca	Gate array technology.	ICCD	1988	DBLP DOI BibTeX RDF