A parallel processor ASIC for real time pattern recognition
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mostafavi, M.T.; Vishin, S.; Dettloff, W.D.
Year: 1990
Application of digital CMOS ASICs in a medical diagnostic imaging design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fehr, R.
Year: 1990
Real time graphics processor
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Geneste, P.; Auger, D.
Year: 1990
Built-in self-test for generated blocks in an ASIC environment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bruchner, V.; Achuetz, A.
Year: 1990
Hierarchical test generation for data path
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jay, C.; Crastes de Paulet, M.; Karam, M.; Saucier, G.
Year: 1990
A new algorithm for diagnosis-oriented automatic test pattern generation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Camurati, P.; Medina, D.; Prinetto, P.; Sonza Reorda, M.
Year: 1990
Timing aspects of cell-based ASIC design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Youssef, H.; Shragowitz, E.
Year: 1990
Definition of timing models for compiler-driven logic simulation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hahn, W.; Hagerer, A.; Eisenhut, M.
Year: 1990
Extension of the MOSART circuit simulator to the analysis of BiCMOS circuits
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Vachoux, A.; Anwar, N.
Year: 1990
Anatem Version-2-A CMOS timing analyzer for static CMOS networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Froidevaux, M.
Year: 1990
Autodiagnosis speeds turn around time
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ovington, P.
Year: 1990
The microprocessor support peripheral family and the direct access test methodology
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Aleman, E.M.
Year: 1990
Scan design in the Philips ASIC test environment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Courjon, H.
Year: 1990
A MC680x0 compatible coprocessor for binary image processing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Legat, J.-D.; De Muelenaere, P.
Year: 1990
Comparison between a chip for realtime skeleting of images and its corresponding discrete realisation-a case study
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Maeder, A.J.; Rauscher, R.H.
Year: 1990
An integrated circuit for self-routing data and voice switching
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Luijten, R.P.
Year: 1990
The development of a cryptographic device
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Roubos, J.B.; Pieterse, R.
Year: 1990
A framework for performance and knowledge-based control of basic designs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kaminska, B.; Mheir-El-Saadi, F.
Year: 1990
Constraint-driven synthesis from architectures described in ELLA
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Saunders, J.; Clee, C.
Year: 1990
Integrated circuit performance optimization with simulated annealing algorithm and SPICE-PAC circuit simulator
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Durbin, F.; Haussy, J.; Berthiau, G.; Siarry, P.; Zuberek, W.M.
Year: 1990
CAD tool evaluation: methodology, criteria, benchmarks and results
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:de Paulet, M.C.
Year: 1990
Design and test of a complex telecom ASIC: the NIARL
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Torre, F.C.; Melian, J.P.
Year: 1990
Realization of an integrated equalizer for a 16 QAM/140 Mbit/s digital radio link
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Izorce, C.
Year: 1990
An ASIC for a transmission modem with an internal processor core
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Geier, J.; Lucke, K.; Rudorff, I.; Wimmer, R.
Year: 1990
VLSI implementation of the metering signal generator for switching system analog terminations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Boarin, G.; Chiappano, G.; Maloberti, F.; Napolitano, S.; Porta, M.
Year: 1990
Thin film transistors modeling and parameters extraction tool
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Declerck, O.; Bardyn, J.P.
Year: 1990
Latch-up characterization of semicustom using ATE
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gaviraghi, S.
Year: 1990
A test vehicle for monitoring and improvement of CMOS reliability performance
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Remmerie, G.
Year: 1990
Standard cell development flow
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dreesen, J.
Year: 1990
A semi-custom pad library
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Beller, W.; Beunder, M.; Dudek, V.; Hoefflinger, B.; Kernhof, J.; Schau, M.
Year: 1990
Automated schematic capture with the USC51 embedded microcontroller
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Aleman, E.M.; Couleur, J.L.
Year: 1990
Verifying ASICs by symbolic simulation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Schmid, R.; Tiden, E.
Year: 1990
The formal verification chain at BULL
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Madre, J.-C.; Coudert, O.; Currat, M.; Debreil, A.; Berthet, C.
Year: 1990
Silicon compilation of algorithm structures
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gaillard, T.; Karanov, V.
Year: 1990
ADS analog digital system, a novel approach to CAD for mixed analog/digital ASICs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Caillon, C.; Remy, J.; Sanchez, J.M.; Scotti, S.
Year: 1990
A mixed digital-analog simulation and test environment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lanoo, R.
Year: 1990
PDM, the route to instant mixed analog digital ASICs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Birchby, G.W.
Year: 1990
A logic for reasoning about security
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Glasgow, J.; MacEwen, G.; Panangaden, P.
Year: 1990
A logic of communication in hostile environment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bieber, P.
Year: 1990
Representing partial knowledge in an algebraic security model
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Meadows, C.
Year: 1990
Formal semantics for logics of cryptographic protocols
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Syverson, P.
Year: 1990
Categorising non-interference
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jacob, J.
Year: 1990
Petri net based modelling of information flow security requirements
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Varadharajan, V.
Year: 1990
Secure information flow using security groups
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Foley, S.N.
Year: 1990
Quotient states and probabilistic channels
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Moskowitz, I.S.
Year: 1990
Hookup security for synchronous machines
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Millen, J.K.
Year: 1990
Security models for priority buffering and interrupt handling
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rosenthal, D.
Year: 1990
Formal modeling in a generalized framework for access control
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:La Padula, L.J.
Year: 1990
A policy model for denial of service
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Amoroso, E.
Year: 1990
Providing a flexible security override for trusted systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Badger, L.
Year: 1990
Information sharing in secure systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gray, J.W., III
Year: 1990
Information-flow analysis for covert-channel identification in multilevel secure operating systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:He, J.; Gligor, V.D.
Year: 1990
A formal framework for single level decomposition of multilevel relations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jajodia, S.; Sandhu, R.
Year: 1990
A new polyinstantiation integrity constraint for multilevel relations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sandhu, R.; Jajodia, S.; Lunt, T.
Year: 1990
Type reconstruction in finite-rank fragments of the polymorphic lambda -calculus
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kfoury, A.J.; Tiuryn, J.
Year: 1990
Polymorphism, set theory, and call-by-value
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Robinson, E.; Rosolini, G.
Year: 1990
Universal domains in the theory of denotational semantics of programming languages
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Droste, M.; Gobel, R.
Year: 1990
The classification of continuous domains
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jung, A.
Year: 1990
A decision procedure for a class of set constraints
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Heintze, N.; Jaffar, J.
Year: 1990
A constraint sequent calculus
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lassez, J.-L.; McAloon, K.
Year: 1990
Solving inequations in terms algebras
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Comon, H.
Year: 1990
The dynamic logic of permission
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:van der Meyden, R.
Year: 1990
A theory of nonmonotonic rule systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Marek, W.; Nerode, A.; Remmel, J.
Year: 1990
The semantics of reflected proof
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Allen, S.F.; Constable, R.L.; Howe, D.J.; Aitken, W.E.
Year: 1990
Equation solving using modal transition systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Larsen, K.G.; Xinxin, L.
Year: 1990
Three logics for branching bisimulation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:De Nicola, R.; Vaandrager, F.
Year: 1990
Reactive, generative, and stratified models of probabilistic processes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:van Glabbeek, R.; Smolka, S.A.; Steffen, B.; Tofts, C.M.N.
Year: 1990
The nonexistence of finite axiomatisations for CCS congruences
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Moller, F.
Year: 1990
0-1 laws for infinitary logics
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kolaitis, P.G.; Vardi, M.Y.
Year: 1990
Implicit definability on finite structures and unambiguous computations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kolaitis, P.G.
Year: 1990
ALOGTIME and a conjecture of S.A. Cook
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Clote, P.
Year: 1990
On the expression of monadic second-order graph properties without quantifications over sets of edges
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Courcelle, B.
Year: 1990
Normal process representatives
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gehlot, V.; Gunter, C.
Year: 1990
A categorical linear framework for Petri nets
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Brown, C.; Gurr, D.
Year: 1990
A linear semantics for allowed logic programs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cerrito, S.
Year: 1990
Programming in equational logic: beyond strong sequentiality
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sekar, R.C.; Ramakrishnan, I.V.
Year: 1990
The theory of ground rewrite systems is decidable
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dauchet, M.; Tison, S.
Year: 1990
Well rewrite orderings
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lescanne, P.
Year: 1990
A constructive proof of Higman's lemma
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Murthy, C.R.; Russell, J.R.
Year: 1990
Syntactic theories and unification
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kirchner, C.; Klay, F.
Year: 1990
Proof transformations for equational theories
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nipkow, T.
Year: 1990
A new AC unification algorithm with an algorithm for solving systems of diophantine equations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Boudet, A.; Contejean, E.; Devie, H.
Year: 1990
On subsumption and semiunification in feature algebras
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dorre, J.; Rounds, W.C.
Year: 1990
Completeness for typed lazy inequalities
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cosmadakis, S.S.; Meyer, A.R.; Riecke, J.G.
Year: 1990
Conditional lambda-theories and the verification of static properties of programs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wand, M.; Wang, Z.-Y.
Year: 1990
Single-threaded polymorphic lambda calculus
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Guzman, J.C.; Hudak, P.
Year: 1990
Extensional PERs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Freyd, P.; Mulry, P.; Rosolini, G.; Scott, D.
Year: 1990
A PER model of polymorphism and recursive types
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Abadi, M.; Plotkin, G.D.
Year: 1990
Effective domains and intrinsic structure
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Phoa, W.
Year: 1990
A logic of concrete time intervals
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lewis, H.R.
Year: 1990
Real-time logics: complexity and expressiveness
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Alur, R.; Henzinger, T.A.
Year: 1990
Explicit clock temporal logic
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Harel, E.; Lichtenstein, O.; Pnueli, A.
Year: 1990
Model-checking for real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Alur, R.; Courcoubetis, C.; Dill, D.
Year: 1990
Symbolic model checking: 10/sup 20/ states and beyond
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Burch, J.R.; Clarke, E.M.; McMillan, K.L.; Dill, D.L.; Hwang, L.J.
Year: 1990
When is 'partial' adequate? A logic-based proof technique using partial specifications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cleaveland, R.; Steffen, B.
Year: 1990
Modelling shared state in a shared action model
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Goldman, K.J.; Lynch, N.A.
Year: 1990
On the power of bounded concurrency. III. Reasoning about programs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Harel, D.; Rosner, R.; Vardi, M.
Year: 1990
New foundations for fixpoint computations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Crole, R.L.; Pitts, A.M.
Year: 1990
Recursive types reduced to inductive types
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Freyd, P.
Year: 1990
On the limits of efficient temporal decidability
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Emerson, E.A.; Evangelist, M.; Srinivasan, J.
Year: 1990
A practical approach to preemptable and nonpreemptable task scheduling with resource constraints based on earliest deadlines
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Halang, W.A.
Year: 1990
Maximum-throughput scheduling with limited resources for iterative data-flow graphs by means of the scheduling-range chart
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Heemstra de Groot, S.M.; Herrmann, O.E.
Year: 1990
On the optimality of minimum laxity and earliest deadline scheduling for real-time multiprocessors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Towsley, D.; Panwar, S.S.
Year: 1990
Scheduling real-time transactions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Son, S.H.
Year: 1990
Robust representation and execution of robot plans
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lyons, D.M.; Mehta, S.; Gopinath, P.S.
Year: 1990
Mobile robot control with concurrent logic languages
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nilsson, M.
Year: 1990
Software maintenance in the telecommunication area-status and perspectives
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Agostini, L.; Cerchio, L.; Ciccarella, G.; Saracco, R.
Year: 1990
On-line modification of real time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Decuypere, H.J.M.; De Man, J.
Year: 1990
The OSCA architecture: enabling independent product software maintenance
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mills, J.A.; Ruston, L.
Year: 1990
A methodology and environment for the object oriented analysis and design of real time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Baldassari, M.; Bruno, G.
Year: 1990
Realtime system control by means of path expressions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Schoute, A.L.; Luursema, J.J.
Year: 1990
A methodology for an incremental, logical specification of real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Corsetti, E.; Montanari, A.; Ratto, E.
Year: 1990
CEDER-a software development method for the construction of embedded dedicated real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Elmstrom, R.
Year: 1990
The Spring architecture
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Stankovic, J.A.
Year: 1990
Distributed processing in real time systems using message-passing on PCs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Muller, H.G.W.; Hildebrand, D.
Year: 1990
Automatic grain size determination for a macro dataflow real-time system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ojstersek, M.; Zumer, V.
Year: 1990
A real-time communication protocol
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lima, M.R.; Leite, J.C.B.; Loques, O.G.
Year: 1990
Distributed operating systems support for scheduling atomic real-time transactions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wedde, H.F.; Daniels, D.C.
Year: 1990
A formal event structuring approach to real-time design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Larsen, P.G.
Year: 1990
Probabilistic diagnosis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Narraway, J.J.
Year: 1990
Control flow checking in pipelined RISC microprocessors: the Motorola MC88100 case study
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Delord, X.; Saucier, G.
Year: 1990
Dependability in distributed applications-approaches and issues
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Schill, A.
Year: 1990
Software environment for real-time expert systems including crisis state prediction
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kantardzic, M.; Jusupovic, U.; Filipovic, A.; Gujic, N.; Delic, K.; Glavic, H.
Year: 1990
Structuring the application software for real-time process control
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kotchev, B.; Levy, A.M.; Petrov, P.; Patrashkov, R.
Year: 1990
A pipelined architecture for on-line low-level vision
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shukla, S.B.; Ramakrishnan, V.; Agrawal, D.P.
Year: 1990
A complete and efficient real time system for line segment detection based on the binary Hough transform
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:da Fontoura Costa, L.; Sandler, M.B.
Year: 1990
Real-time performance improvements for distributed databases on a wide area network
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Reddan, C.; Tabak, D.
Year: 1990
A three-layer communication architecture for real time applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rzehak, H.
Year: 1990
The design of a real-time communication network for parallel processing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Johann, C.F.M.; Loonen, R.; Stevens, M.P.J.
Year: 1990
Choosing the best storage technique for a main memory database system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gruenwald, L.; Eich, M.H.
Year: 1990
File system design using large memories
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Staelin, C.; Garcia-Molina, H.
Year: 1990
An interleaved file system for a highly distributed MIMD architecture
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Farber, Y.; Barak, A.
Year: 1990
A simulation generator for multiprocessor systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Israeli, A.; Nissim, T.A.
Year: 1990
Xputers: very high throughput by innovative computing principles
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hartenstein, R.W.; Hirschbiel, A.G.; Weber, M.
Year: 1990
An efficient organization for large, network-based multicomputer systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Scheidig, H.; Schneider, M.F.; Spurk, R.
Year: 1990
Programming the data structure accelerator
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Zippel, R.
Year: 1990
The Supercomputer Toolkit and its applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Abelson, H.; Berlin, A.A.; Katzenelson, J.; McAllister, W.H.; Rozas, G.J.; Sussman, G.J.
Year: 1990
A special distributed system in a general programming environment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Heilper, A.; Marberg, J.
Year: 1990
Deadlock-avoidance in a page-parallel rasterizer
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Birk, Y.
Year: 1990
Log-driven backups: A recovery scheme for large memory database systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Levy, E.; Silberschatz, A.
Year: 1990
Mutual exclusion revisited
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Szymanski, B.K.
Year: 1990
Servers, processes and subprocesses: a critical evaluation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Berbers, Y.; Verbaeten, P.
Year: 1990
Wasted resources in gang scheduling
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Feitelson, D.G.; Rudolph, L.
Year: 1990
User authentication by cognitive passwords: an empirical assessment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Zviran, M.; Haga, W.J.
Year: 1990
Interacting processes: a language for coordinated distributed programming
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Francez, N.; Forman, I.R.
Year: 1990
Superposition and fairness in reactive system refinement
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Back, R.J.R.; Kurki-Suonio, R.
Year: 1990
Reasoning in CSP via the HOL theorem prover
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Camilleri, A.J.
Year: 1990
TAPIOCA: OCCAM rapid prototyping from Petri-net
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Breant, F.
Year: 1990
Methods and tools for modelling the behaviour of information-transport ports in distributed software configurations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pakstas, A.
Year: 1990
Bergate-a system for interconnecting local area networks via broadband ISDN
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gavras, A.; Butscher, B.; Luckenbach, T.; Xu, X.
Year: 1990
Parallelism in transport oriented communication protocols
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Zitterbart, M.
Year: 1990
Electronic data interchange
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kreuwels, C.M.A.
Year: 1990
Algorithms and optic implementation for reconfigurable networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Schuster, A.; Ben-Asher, Y.
Year: 1990
Software uncertainty and the role of CASE in its minimisation and control
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lehman, M.M.
Year: 1990
Some simple models of CASE tool integration
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lewis, G.R.
Year: 1990
Automated retrieval of consistent documentation from requirement analysis to program codes for software maintenance
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shun-Tzu Tsai; Chien-Chiao Yang
Year: 1990
Knowledge support for information system design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Grosz, G.; Rolland, C.
Year: 1990
Location of checkpoints in fault-tolerant software
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Saglietti, F.
Year: 1990
Learning to recognize reusable software modules using an inductive classification system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Esteva, J.C.
Year: 1990
Software cost estimation models
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Heemstra, F.J.
Year: 1990
Functional C: an extended functional programming language
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kim, M.J.; Jhon, C.S.
Year: 1990
A compumetrical approach to summarize benchmark results
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Igbaria, M.; Silver, M.
Year: 1990
Artificial intelligence and design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Amarel, S.
Year: 1990
Translating telephone: problems and prospects
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Reddy, R.
Year: 1990
Logic programming with goal-directed search
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Darlington, J.L.
Year: 1990
Junior Researcher: a discovery system that can solve the N queens problems (N>or=4) on a constant computational complexity
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gao, Q.S.; Hou, S.J.
Year: 1990
A general framework of constraint propagation for diagnostic systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tsuchiya, R.; Ogino, T.
Year: 1990
Generating explanations from question paths
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sarantinos, E.; Johnson, P.
Year: 1990
A study on the recognition of the Korean monothongs using artificial neural net models
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kiseok Kim; Inbum Kim; Heeyeung Hwang
Year: 1990
The computability of architectural design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kalay, Y.E.
Year: 1990
Deducing linguistic structure from the statistics of large corpora
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Brill, E.; Magerman, D.; Marcus, M.; Santorini, B.
Year: 1990
What is an inference rule?
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fagin, R.; Halpern, J.Y.; Vardi, M.Y.
Year: 1990
A fast NC algorithm to recognize P/sub 4/-reducible graphs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lin, R.; Olariu, S.
Year: 1990
How to keep a dynamic distributive directed graph acyclic and yet grant all requests of edge additions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Even, S.; Pnueli, Y.
Year: 1990
A parallel implementation of equational programming
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dershowitz, N.; Lindenstrauss, N.
Year: 1990
One-page book embedding under vertex-neighborhood constraints
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Moran, S.; Wolfsthal, Y.
Year: 1990
On the expressive power of program schemes with sets
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Stolboushkin, A.P.
Year: 1990
Evaluation and comparison of text-manipulation systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yovev, C.S.
Year: 1990
Optimal evaluation of vector expression trees
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rauber, T.
Year: 1990
Access control requirements for environmental information knowledge base systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Steinke, G.
Year: 1990
Mapping data schemas to MDBMS architecture layers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Durr, M.; Lang, S.M.
Year: 1990
Overlapping B+trees for temporal data
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Manolopoulos, Y.; Kapetanakis, G.
Year: 1990
New directions in database management systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Beeri, C.
Year: 1990
Multidatabase performance evaluation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Breitbart, Y.; Morales, H.; Silberschatz, A.; Thompson, G.
Year: 1990
The hypernode model and its associated query language
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Levene, M.; Poulovassilis, A.
Year: 1990
Integration of different transaction models in federative distributed database systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Johannsen, W.
Year: 1990
Heuristic-based semantic query optimization
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sciore, E.; Siegel, M.
Year: 1990
SQL query modification algorithms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chou, D.; Segev, A.
Year: 1990
Notes on real-time distributed database systems stability
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Schreiber, F.A.
Year: 1990
Evaluation and improvement of query processing methods in wide and local area network
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Krolikowski, Z.
Year: 1990
Concurrency control in distributed databases through dummy locks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Halici, U.; Dogac, A.
Year: 1990
Using information technology
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wohl, A.D.
Year: 1990
Organizing for simplicity: the role of information technology
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rubin, R.M.
Year: 1990
Safety first (data security)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Greene, R.E.
Year: 1990
Positioning I/S to achieve world-class quality performance
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shrednick, H.R.
Year: 1990
Ensuring usability: Aetna's experience
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sitkin, I.J.; Mason, L.H.
Year: 1990
The road to enterprise excellence
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shore, E.B.
Year: 1990
Information technology risk management
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ginzberg, M.J.; Moulton, R.T.
Year: 1990
Coordination: a new field of application for information technology
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Holt, A.
Year: 1990
The current status of copyright and patent protection for computer software
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Brown, J.E.; Clapes, A.L.; Taylor, E.H.
Year: 1990
COPYCAT: a system for the distribution of copyright cataloging information
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Turner, P.A.
Year: 1990
Desktop research-information management for the scholar
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rosenberg, V.
Year: 1990
Trends in using computers in education
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Charp, S.
Year: 1990
Computer innovation in higher education
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Melmed, A.S.
Year: 1990
Hardware and software compatibility issues (computers in education)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gattis, W.D.
Year: 1990
Integrating courseware with lessonware (computers in education)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Osin, L.
Year: 1990
Computer assisted instruction and students' social orientations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Katz, Y.J.; Offir, B.
Year: 1990
Experience using a dynamic adaptive hidden-surface removal algorithm for volume rendering within a MIMD architecture
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Stytz, M.R.; Frieder, O.
Year: 1990
A benchmark to scale behaviorally object-oriented database systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kemper, A.; Chriesten, J.
Year: 1990
Televisualization: on the role of high-speed communication in the visualization of science
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Amitai, D.
Year: 1990
An overview of intelligent vehicle-highway systems (IVHS) activities in North America
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chen, K.; Galler, B.A.
Year: 1990
Road transport informatics in Europe-a summary of current developments
Publisher: IEEE Computer Society
Authors:I. Catling; B. McQueen
Year: 1990
An interleaving model for real-time
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Henzinger, T.A.; Manna, Z.; Pnueli, A.
Year: 1990
Reverse software engineering of concurrent programs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ge, X.; Prywes, N.
Year: 1990
Expert Design Advisor
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Howell, S.L.; Hwang, P.Q.; Nguyen, C.M.
Year: 1990
A temporal proof methodology for reactive systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Manna, Z.; Pnueli, A.
Year: 1990
A combinatorial approach to temporal reasoning
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Belfer, A.; Golumbic, M.C.
Year: 1990
The ACL data collection initiative
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Liberman, M.Y.
Year: 1990
The making of an information retrieval interface
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Meadow, C.T.
Year: 1990
BiCMOS design overview and implementation methodology
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Iyer, R.S.
Year: 1990
Submicron BiCMOS technologies for supercomputer and high speed system implementation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bastani, B.; Biswal, M.; Iranmanesh, A.; Lage, C.; Bouknight, L.; Ilderem, V.; Solheim, A.; Burger, W.; Lahri, R.; Small, J.
Year: 1990
BiCMOS Futurebus transceiver
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fletcher, T.; Hahn, E.; West, J.
Year: 1990
A strategy for avoiding pipeline interlock delays in a microprocessor
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yoshida, T.; Matsuo, M.; Ueda, T.; Saito, Y.
Year: 1990
Exploitation of operation-level parallelism in a processor of the CRAY X-MP
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Vajapeyam, S.; Sohi, G.S.; Hsu, W.-C.
Year: 1990
A parameter adjustment method for analog circuits based on convex fuzzy decision using constraints of satisfactory level
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hashizume, M.; Tamesada, T.; Nii, K.
Year: 1990
Automatic layout generation for mixed analog-digital VLSI neural chips
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chen, D.J.; Sheu, B.J.
Year: 1990
MxSICO: a silicon compiler for mixed analog digital circuits
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Berkcan, E.
Year: 1990
A global feedback detection algorithm for VLSI circuits
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shih, H.-C.; Kovijanic, P.G.; Razdan, R.
Year: 1990
Fault tolerance in RNS: an efficient approach
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Radhakrishnan, D.; Pyon, T.
Year: 1990
The observability don't-care set and its approximations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:McGeer, P.C.; Brayton, R.K.
Year: 1990
Figures of merit for system path time estimation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hsi, C.G.; Tucker, S.G.
Year: 1990
Design for routability of a high-density gate array
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Harberts, D.W.; van den Elshout, D.A.J.M.; Veendrick, H.J.M.
Year: 1990
Concurrent testing of VLSI circuits using conservative logic
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Swaminathan, G.; Aylor, J.H.; Johnson, B.W.
Year: 1990
Reliability analysis of a computer system for a data collection application
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Reibman, A.
Year: 1990
Reliable design of multichip nonblocking crossbars
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ghosh, J.; Varma, A.
Year: 1990
Task assignment by parallel simulated annealing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Witte, E.E.; Chamberlain, R.D.; Franklin, M.A.
Year: 1990
Fast parallel communication on mesh connected machines with low buffer requirements
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Makedon, F.; Simvonis, A.
Year: 1990
A trace-driven analysis of the 'wrap-around' network
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Benveniste, C.; Hsu, Y.
Year: 1990
Vector processor design for parallel DSP systems using hierarchical behavioral description based synthesizer
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nakada, H.; Sakurai, N.; Kanayama, Y.; Ohta, N.; Oguri, K.
Year: 1990
Rule-based testability rule check program
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Koseko, Y.; Hiramine, C.; Ogihara, T.; Murai, S.
Year: 1990
Practical design assistance at register transfer level using a data path verifier
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nakamura, H.; Kukimoto, Y.; Fujita, M.; Tanaka, H.
Year: 1990
Design of robustly testable static CMOS parity trees derived from binary decision diagrams
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jha, N.K.; Tong, Q.
Year: 1990
Test generation in circuits constructed by input decomposition
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lee, G.; Irwin, M.J.; Owens, R.M.
Year: 1990
Design of repairable and fully testable folded PLAs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wey, C.-L.; Ding, J.
Year: 1990
Synthesis of testable PLAs using adaptive heuristics for efficiency
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bose, P.; Bandyopadhyay, S.; Dutta Majumder, D.
Year: 1990
Real-time computing of optical flow using adaptive VLSI neuroprocessors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fang, W.-C.; Sheu, B.J.; Lee, J.-C.
Year: 1990
Parallel digital image restoration using adaptive VLSI neural chips
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lee, J.-C.; Sheu, B.J.
Year: 1990
An analog parallel distributed solution to the shortest path problem
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ritter, S.E.; Soumyanath, K.
Year: 1990
DEBBIE: a configurable user interface for CAD frameworks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yoo, M.S.; Hsu, A.
Year: 1990
ASIC design using the high-level synthesis system CALLAS: a case study
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Koster, M.; Geiger, M.; Duzy, P.
Year: 1990
A design environment for high performance VLSI signal processing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rao, S.; Hatamian, M.; Ackland, B.
Year: 1990
Compacting randomly generated test sets
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Aylor, J.H.; Cohoon, J.P.; Feldhousen, E.L.; Johnson, B.W.
Year: 1990
Estimating aliasing in CA and LFSR based signature registers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Miller, D.M.; Zhang, S.; Pries, W.; McLeod, R.D.
Year: 1990
Built-in self-test with weighted random pattern hardware
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Brglez, F.; Gloster, G.; Kedem, G.
Year: 1990
HAL III: function level hardware logic simulation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Takasaki, S.; Nomizu, N.; Hirabayashi, Y.; Ishikura, H.; Kurashita, M.; Koike, N.; Nakata, T.
Year: 1990
High speed VLSI logic simulation using bitwise operations and parallel processing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jun, Y.-H.; Hajj, I.N.; Lee, S.-H.; Park, S.-B.
Year: 1990
Automatic classification of node types in switch-level descriptions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Blaauw, D.T.; Banerjee, P.; Abraham, J.A.
Year: 1990
68040 memory modules and bus controller
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Martin, B.; McMahan, S.; Sood, L.
Year: 1990
68040 integer module
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Holden, K.; Eisele, R.; Kobe, M.; Raleigh, J.; Spohrer, T.
Year: 1990
A floating point unit for the 68040
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:McCloud, S.; Anderson, D.; DeWitt, C.; Hinds, C.; Ho, Y.-W.; Marquette, D.; Quintana, E.
Year: 1990
Test architecture of the Motorola 68040
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Spohrer, T.; Marquette, D.; Gallup, M.
Year: 1990
An edge based netlist extractor for IC layouts
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Aranake, S.; Dikshit, A.; Arun, A.
Year: 1990
Approximate time-domain models of three-dimensional interconnects
Publisher: IEEE Computer Society
Authors:Hansruedi Heeb; Albert Ruehli
Year: 1990
Derivation of signal flow direction in MOS VLSI: an alternative
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:De Rammelaere, W.; Bolsens, I.; Claesen, L.; De Man, H.
Year: 1990
Digital magnetic recording systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wolf, J.N.
Year: 1990
Design issues of a rate 8/10 matched-spectral-null trellis code chip for partial response channels
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shung, C.B.; Siegel, P.H.; Thapar, H.K.; Karabed, R.
Year: 1990
Complexity issues in RAM-DFE design for magnetic disk drives
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bednarz, P.S.; Abbott, W.L.; Fisher, K.D.; Cioffi, J.M.
Year: 1990
A parallel algorithm for constructing binary decision diagrams
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kimura, S.; Clarke, E.M.
Year: 1990
New ideas on symbolic manipulations of finite state machines
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Berthet, C.; Coudert, O.; Madre, J.-C.
Year: 1990
Formal verification of cache systems using refinement relations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Loewenstein, P.; Dill, D.L.
Year: 1990
Modular BIST concept for microprocessors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ritter, H.C.; Schwair, T.M.
Year: 1990
VLSI asynchronous sequential circuit design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gopalakrishnan, S.K.; Maki, G.K.
Year: 1990
A functional diagnostics methodology
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kunda, R.P.; Rathi, B.D.
Year: 1990
Architectures for pipelined Wallace tree multiplier-accumulators
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pang, K.F.
Year: 1990
A class of close-to-optimum adder trees allowing regular and compact layout
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mou, Z.-J.; Jutand, F.
Year: 1990
A reduced area scheme for carry-select adders
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tyagi, A.
Year: 1990
2.5 Gbits/sec telecommunications gate array
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hendrickson, N.; Langer, R.; Coe, T.; Vana, M.; Deyhimy, I.
Year: 1990
An approach to 150 K gate low power ECL cell based integrated circuits
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Taylor, G.; Sanguinetti, G.; Lane, R.
Year: 1990
Design and application trade-offs between high-density and high-speed ASICs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lampin, P.; Le Garrec, J.C.; Marion, C.; Mifsud, J.P.; Mille, T.; Nicot, S.; Rousseau, B.; Saura, R.; Tatry, T.; Glossner, C.J.; Kilmoyer, R.D.
Year: 1990
Testability driven synthesis of interacting finite state machines
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ashar, P.; Devadas, S.; Newton, A.R.
Year: 1990
Heuristic minimization of Boolean relations using testing techniques
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ghosh, A.; Devadas, S.; Newton, A.R.
Year: 1990
SYLON-REDUCE: an MOS network optimization algorithms using permissible functions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Limqueco, J.C.; Muroga, S.
Year: 1990
Boolean technology mapping for both ECI and CMOS circuits based on permissible functions and binary decision diagrams
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sato, H.; Takahashi, N.; Matsunaga, Y.; Fujita, M.
Year: 1990
Fault grading of large digital systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Saab, D.G.; Mueller-Thuns, R.B.; Blaauw, D.; Rahmeh, J.T.; Abraham, J.A.
Year: 1990
BiCMOS fault models: is stuck-at adequate?
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Levitt, M.E.; Roy, K.; Abraham, J.A.
Year: 1990
The fault dropping problem in concurrent event driven simulation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gai, S.; Montessoro, P.L.
Year: 1990
Optimized bit level architectures for IIR filtering
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:McNally, O.C.; McCanny, J.V.; Woods, R.F.
Year: 1990
Wavefront array processor for video applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Schmidt, U.; Mehrgardt, S.
Year: 1990
A 75 MHz CMOS digital convolver
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rose, P.J.; Koether, B.G.
Year: 1990
SAP: design of a systolic array processor for computation in vision
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nichani, S.; Ranganathan, N.
Year: 1990
Experiments with an efficient heuristic algorithm for local microcode generation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mahmood, M.; Mavaddat, F.; Elmastry, M.I.
Year: 1990
Automatic generation of control circuits in pipelined DSP architectures
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wang, C.-Y.; Parhi, K.K.
Year: 1990
Combined hardware selection and pipelining in high performance data-path design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Note, S.; Catthoor, F.; Goossens, G.; De Man, H.
Year: 1990
A hierarchical floorplanning approach
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pedram, M.; Preas, B.
Year: 1990
Pin assignment for improved performance in standard cell design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Marek-Sadowska, M.; Lin, S.P.
Year: 1990
Pseudo pin assignment for single-layer over-the-cell routing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chen, H.H.
Year: 1990
An area-efficient reconfigurable binary tree architecture
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chen, C.-H.; Tzeng, N.-F.
Year: 1990
Empirical evaluation of randomly-wire multistage networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Leighton, T.; Linsinski, D.; Maggs, B.
Year: 1990
Design aids and test results for laser-programmable logic arrays
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Allen, D.L.; Goldenberg, R.
Year: 1990
A 64-bit floating-point processing unit with a horizontal instruction code for parallel operations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Katsuno, A.; Takahashi, H.; Kubosawa, H.; Sato, T.; Suga, A.; Goto, G.
Year: 1990
Application specific microprocessor (NS3200/EP family)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Intrater, G.; Biran, D.
Year: 1990
A pipelined microprocessor for logic programming languages
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nakashima, H.; Takeda, Y.; Nakajima, K.; Andou, H.; Furutani, K.
Year: 1990
Minimization of multioutput TANT networks for unlimited fan-in network model
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Perkowski, M.A.; Chrzanowska-Jeske, M.; Shah, T.
Year: 1990
Logic synthesis for programmable logic devices
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hwang, T.-T.; Owens, R.M.; Irwin, M.J.
Year: 1990
On the estimation of logic complexity for design automation applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Varma, D.; Trachtenberg, E.A.
Year: 1990
An improved algorithm for the minimization of mixed polarity Reed-Muller representations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Saul, J.M.
Year: 1990
Preliminary description of Tabula Rasa, an electrically reconfigurable hardware engine
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hill, D.D.; Cassiday, D.R.
Year: 1990
Multiterminal-net routing by grid stretching
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gonzalez, T.F.; Zheng, S.-Q.
Year: 1990
An efficient parallel algorithm for channel routing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Krishnamurthy, S.; JaJa, J.
Year: 1990
The complexity of adaptive annealing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Otten, R.H.J.M.; van Ginneken, L.P.P.P.
Year: 1990
Early resolution of address translation in cache design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hua, K.; Hunt, A.; Liu, L.; Peir, J.-K.; Pruett, D.; Temple, J.
Year: 1990
Cache design for high performance computers with BiCMOS VLSIs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Morioka, M.; Kurita, K.; Kobayashi, H.; Sawamoto, H.
Year: 1990
QRAM-Quick access memory system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Niijima, H.; Oba, N.
Year: 1990
Associative and data processing Mbit-DRAM
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kowarik, O.; Kraus, R.; Hoffmann, K.; Horninger, K.H.
Year: 1990
Computer systems employing reconfigurable board-to-board free-space optical interconnections: COSINE-1 and -2
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Matsumoto, T.; Sakano, T.; Noguchi, K.; Sawabe, T.
Year: 1990
Simultaneous bidirectional signalling for IC systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lam, K.; Dennison, L.R.; Dally, W.J.
Year: 1990
Accurate interconnect modeling for high frequency LSI/VLSI circuits and systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lin-Hendel, C.G.
Year: 1990
Towards a VLSI packaging design support environment (PDSE); concepts and implementation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rozenblit, J.W.; Prince, J.L.; Palusinski, O.-A.
Year: 1990
A linear time algorithm for optimal CMOS functional cell layouts
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lin, P.-Y.F.; Nakajima, K.
Year: 1990
Placement algorithms for CMOS cell synthesis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hill, D.D.; Aranha, M.A.; Shugard, D.D.
Year: 1990
An area estimation technique for module generation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rajanala, A.; Tyagi, A.
Year: 1990
A file-based adaptive prefetch caching design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shih, F.W.; Lee, T.-C.; Ong, S.
Year: 1990
Design of a custom processing unit based on Intel i486 architectures and performances trade-offs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Peter, J.-L.
Year: 1990
On-the-fly circuit to measure the average working set size
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yi, K.; Harrison, L.
Year: 1990
Formal semantics of UDL/I and its applications to CAD/DA tools
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yasuura, H.; Ishiura, N.
Year: 1990
The design and implementation of a reliable distributed operating system-ROSE
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ng, T.P.
Year: 1990
Using stashing to increase node autonomy in distributed file systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Alonso, R.; Barbara, D.; Cova, L.L.
Year: 1990
Distributed lock management in a transaction processing environment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hastings, A.B.
Year: 1990
An improved algorithm for the symbolic reliability analysis of networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Veeraraghavan, M.; Trivedi, K.S.
Year: 1990
A lower bound on the reliability of an n-dimensional hypercube
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bulka, D.; Dugan, J.B.
Year: 1990
Reliable broadcast for fault-tolerance on local computer networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Verissimo, P.; Marques, J.A.
Year: 1990
A low-cost atomic commit protocol
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Stamos, J.W.; Cristian, F.
Year: 1990
Adaptability experiments in the RAID distributed database system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bhargava, B.; Friesen, K.; Helal, A.; Riedl, J.
Year: 1990
Fault tolerant distributed database system via data inference
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chu, W.W.; Hwang, A.Y.; Lee, R.-C.; Chen, Q.; Merzbacher, M.; Hecht, H.
Year: 1990
Representation and execution support for reliable robot applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gopinath, P.S.; Lyons, D.M.; Mehta, S.
Year: 1990
Preventing state divergence in replicated distributed programs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tulley, A.; Shrivastava, S.K.
Year: 1990
Adjudicators for diverse-redundant components
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Di Giandomenico, F.; Strigini, L.
Year: 1990
Voting as the optimal static pessimistic scheme for managing replicated data
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Obradovic, M.; Berman, P.
Year: 1990
A comparison of voting strategies for fault-tolerant distributed systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Blough, D.M.; Sullivan, G.F.
Year: 1990
A fault tolerant algorithm for distributed mutual exclusion
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chang, Y.-I.; Singhal, M.; Liu, M.T.
Year: 1990
RelaX-an extensible architecture supporting reliable distributed applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kroeger, R.; Mock, M.; Schumann, R.; Lange, F.
Year: 1990
Temporal uncertainties in interactions among real-time objects
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kopetz, H.; Kim, K.H.
Year: 1990
A general methodology for the system state characterization of event recognitions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Spezialetti, M.; Kearns, J.P.
Year: 1990
Algebraic methods for interactive proof systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lund, C.; Fortnow, L.; Karloff, H.; Nisan, N.
Year: 1990
IP=PSPACE (interactive proof=polynomial space)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shamir, A.
Year: 1990
Nondeterministic exponential time has two-prover interactive protocols
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Babai, L.; Fortnow, L.; Lund, C.
Year: 1990
A characterization of Hash P by arithmetic straight line programs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Babai, L.; Fortnow, L.
Year: 1990
Perfectly secure message transmission
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dolev, D.; Dwork, C.; Waarts, O.; Yung, M.
Year: 1990
Coin-flipping games immune against linear-sized coalitions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Alon, N.; Naor, M.
Year: 1990
Are wait-free algorithms fast?
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Attiya, H.; Lynch, N.; Shavit, N.
Year: 1990
A dining philosophers algorithm with polynomial response time
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Awerbuch, B.; Saks, M.
Year: 1990
An approach for proving lower bounds: solution of Gilbert-Pollak's conjecture on Steiner ratio
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Du, D.-Z.; Hwang, F.K.
Year: 1990
Drawing graphs in the plane with high resolution
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Formann, M.; Hagerup, T.; Haralambides, J.; Kaufmann, M.; Leighton, F.T.; Simvonis, A.; Welzl, E.; Woeginger, G.
Year: 1990
New results on dynamic planar point location
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cheng, S.W.; Janardan, R.
Year: 1990
The computability and complexity of optical beam tracing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Reif, J.H.; Tygar, J.D.; Yoshida, A.
Year: 1990
Approximate string matching in sublinear expected time
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chang, W.I.; Lawler, E.L.
Year: 1990
Towards a DNA sequencing theory (learning a string)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Li, M.
Year: 1990
On the exact complexity of string matching
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Colussi, L.; Galil, Z.; Giancarlo, R.
Year: 1990
Faster tree pattern matching
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dubiner, M.; Galil, Z.; Magen, E.
Year: 1990
Specified precision polynomial root isolation is in NC
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Neff, C.A.
Year: 1990
A tree-partitioning technique with applications to expression evaluation and term matching
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kosaraju, S.R.; Delcher, A.L.
Year: 1990
Efficient parallel algorithms for tree-decomposition and related problems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lagergren, J.
Year: 1990
Learning conjunctions of Horn clauses
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Angluin, D.; Frazier, M.; Pitt, L.
Year: 1990
Exact identification of circuits using fixed points of amplification functions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Goldman, S.A.; Kearns, M.J.; Schapire, R.E.
Year: 1990
On the complexity of learning from counterexamples and membership queries
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Maass, W.; Turan, G.
Year: 1990
Separating distribution-free and mistake-bound learning models over the Boolean domain
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Blum, A.
Year: 1990
Triangulating a simple polygon in linear time
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chazelle, B.
Year: 1990
Provably good mesh generation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bern, M.; Eppstein, D.; Gilbert, J.
Year: 1990
Counting and cutting cycles of lines and rods in space
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chazelle, B.; Edelsbrunner, H.; Guibas, L.J.; Pollack, R.; Seidel, R.; Sharir, M.; Snoeyink, J.
Year: 1990
Hidden surface removal for axis-parallel polyhedra
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:de Berg, M.; Overmars, M.H.
Year: 1990
A (fairly) simple circuit that (usually) sorts
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Leighton, T.; Plaxton, C.G.
Year: 1990
Fault tolerant sorting network
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Assaf, S.; Upfal, E.
Year: 1990
Asymptotically tight bounds for computing with faulty arrays of processors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kaklamanis, C.; Karlin, A.R.; Leighton, F.T.; Milenkovic, V.; Raghavan, P.; Rao, S.; Thomborson, C.; Tsantilas, A.
Year: 1990
Deterministic on-line routing on area-universal networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bay, P.; Bilardi, G.
Year: 1990
Multiple non-interactive zero knowledge proofs based on a single random string
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Feige, U.; Lapidot, D.; Shamir, A.
Year: 1990
Security preserving amplification of hardness
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Goldreich, O.; Impagliazzo, R.; Levin, L.; Venkatesan, R.; Zuckerman, D.
Year: 1990
Efficiently inverting bijections given by straight line programs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sturtivant, C.; Zhang, Z.-L.
Year: 1990
Private computations over the integers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chor, B.; Gereb-Graus, M.; Kushilevitz, E.
Year: 1990
The mixing rate of Markov chains, an isoperimetric inequality, and computing the volume
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lovasz, L.; Simonovits, M.
Year: 1990
Exploring an unknown graph
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Deng, X.; Papadimitriou, C.H.
Year: 1990
Inferring evolutionary history from DNA sequences
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kannan, S.; Warnow, T.
Year: 1990
Permuting
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fich, F.E.; Munro, J.I.; Poblete, P.V.
Year: 1990
Efficient distribution-free learning of probabilistic concepts
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kearns, M.J.; Schapire, R.E.
Year: 1990
A Markovian extension of Valiant's learning model
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Aldous, D.; Vazirani, U.
Year: 1990
On threshold circuits for parity
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Paturi, R.; Saks, M.E.
Year: 1990
Robust separations in inductive inference
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fulk, M.A.
Year: 1990
A time-space tradeoff for Boolean matrix multiplication
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Abrahamson, K.
Year: 1990
Communication-space tradeoffs for unrestricted protocols
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Beame, P.; Tompa, M.; Yan, P.
Year: 1990
Time-space tradeoffs for undirected graph traversal
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Beame, P.; Borodin, A.; Raghavan, P.; Ruzzo, W.L.; Tompa, M.
Year: 1990
Constructing generalized universal traversing sequences of polynomial size for graphs with small diameter
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Istrail, S.
Year: 1990
Competitive k-server algorithms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fiat, A.; Rabani, Y.; Ravid, Y.
Year: 1990
Randomized online graph coloring
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Vishwanathan, S.
Year: 1990
Coloring inductive graphs on-line
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Irani, S.
Year: 1990
Online algorithms for finger searching
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cole, R.; Raghunathan, A.
Year: 1990
Communication-optimal maintenance of replicated information
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Awerbuch, B.; Cidon, I.; Kutten, S.
Year: 1990
Sparse partitions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Awerbuch, B.; Peleg, D.
Year: 1990
Network synchronization with polylogarithmic overhead
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Awerbuch, B.; Peleg, D.
Year: 1990
General weak random sources
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Zuckerman, D.
Year: 1990
Simple construction of almost k-wise independent random variables
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Alon, N.; Goldreich, O.; Hastad, J.; Peralta, R.
Year: 1990
Some tools for approximate 3-coloring
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Blum, A.
Year: 1990
Randomness in interactive proofs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bellare, M.; Goldreich, O.; Goldwasser, S.
Year: 1990
Parallel linear programming in fixed dimension almost surely in constant time
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Alon, N.; Megiddo, N.
Year: 1990
Reducing the parallel complexity of certain linear programming problems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Vaidya, P.M.
Year: 1990
Asynchronous PRAMs are (almost) as good as synchronous PRAMs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Martel, C.; Subramonian, R.; Part, A.
Year: 1990
Uniform memory hierarchies
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Alpern, B.; Carter, L.; Feig, E.
Year: 1990
On the power of small-depth threshold circuits
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hastad, J.; Goldmann, M.
Year: 1990
ON ACC and threshold circuits
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yao, A.C.-C.
Year: 1990
On interpolation by analytic functions with special properties and some weak lower bounds on the size of circuits with symmetric gates
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Smolensky, R.
Year: 1990
Polynomial threshold functions, AC functions and spectrum norms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bruck, J.; Smolensky, R.
Year: 1990
Faster circuits and shorter formulae for multiple addition, multiplication and symmetric Boolean functions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Paterson, M.S.; Pippenger, N.; Zwick, U.
Year: 1990
Deciding properties of nonregular programs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Harel, D.; Raz, D.
Year: 1990
Decision problems for propositional linear logic
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lincoln, P.; Michell, J.; Scedrov, A.; Shankar, N.
Year: 1990
Tight bounds on the complexity of cascaded decomposition of automata
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Maler, O.; Pnueli, A.
Year: 1990
Finite-memory automata
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kaminski, M.; Francez, N.
Year: 1990
Probabilities of sentences about very sparse random graphs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lynch, J.F.
Year: 1990
A fast algorithm for optimally increasing the edge-connectivity
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Naor, D.; Gusfield, D.; Martel, C.
Year: 1990
Augmenting graphs to meet edge-connectivity requirements
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Frank, A.
Year: 1990
Trans-dichotomous algorithms for minimum spanning trees and shortest paths
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fredman, M.L.; Willard, D.E.
Year: 1990
Approximation through multicommodity flow
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Klein, P.; Agrawal, A.; Ravi, R.; Rao, S.
Year: 1990
Computing with snakes in directed networks of automata
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Even, S.; Litman, A.; Winkler, P.
Year: 1990
Distributed reactive systems are hard to synthesize
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pneuli, A.; Rosner, R.
Year: 1990
Communication complexity of algebraic computation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Luo, Z.-Q.; Tsitsiklis, J.N.
Year: 1990
Bounds on tradeoffs between randomness and communication complexity
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Canetti, R.; Goldreich, O.
Year: 1990
The complexity of finding medians
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Toda, S.
Year: 1990
On the predictability of coupled automata: an allegory about chaos
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Buss, S.; Papadimitriou, C.H.; Tsitsiklis, N.J.
Year: 1990
On graph-theoretic lemmata and complexity classes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Papadimitriou, C.H.
Year: 1990
Matrix decomposition problem is complete for the average case
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gurevich, Y.
Year: 1990
No better ways to generate hard NP instances than picking uniformly at random
Publisher: IEEE Computer Society
Authors:R. Impagliazzo; Leonid A Levin
Year: 1990
Complexity of unification in free groups and free semi-groups
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Koscielski, A.; Pacholski, L.
Year: 1990
The lattice reduction algorithm of Gauss: an average case analysis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Vallee, B.; Flajolet, P.
Year: 1990
Simplifying nested radicals and solving polynomials by radicals in minimum depth
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Horng, G.; Huang, M.-D.A.
Year: 1990
On the diameter of finite groups
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Babai, L.; Hetyei, G.; Kantor, W.M.; Lubotzky, A.; Seress, A.
Year: 1990
Some triply-logarithmic parallel algorithms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Berkman, O.; Jaja, J.; Krishnamurthy, S.; Thurimella, R.; Vishkin, U.
Year: 1990
Interpolation of sparse rational functions without knowing bounds on exponents
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Grigoriev, D.Y.; Karpinski, M.; Singer, M.F.
Year: 1990
Surface representations of two- and three-dimensional fluid flow topology
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Helman, J.L.; Hesselink, L.
Year: 1990
FAST: a multi-processed environment for visualization of computational fluid dynamics
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bancroft, G.V.; Merritt, F.J.; Plessel, T.C.; Kelaita, P.G.; McCabe, R.K.; Globus, A.
Year: 1990
The VIS-5D system for easy interactive visualization
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hibbard, B.; Santek, D.
Year: 1990
A procedural interface for volume rendering
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Montine, J.L.
Year: 1990
Techniques for the interactive visualization of volumetric data
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nielson, G.M.; Hamann, B.
Year: 1990
Displaying voxel-based objects according to their qualitative shape synthesis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yacoob, Y.
Year: 1990
Interpreting a 3D object from a rough 2D line drawing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lamb, D.; Bandopadhay, A.
Year: 1990
Animation techniques for chain-coded objects
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Maeder, A.J.
Year: 1990
Extracting geometric models through constraint minimization
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Miller, J.V.; Breen, D.E.; Wozny, M.J.
Year: 1990
Wide-band relativistic Doppler effect visualization
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hsiung, P.-K.; Thibadeau, R.H.; Cox, C.B.; Dunn, R.H.P.; Wu, M.; Olbrich, P.A.
Year: 1990
Dynamic graphics for network visualization
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Becker, R.A.; Eick, S.G.; Miller, E.O.; Wilks, A.R.
Year: 1990
Techniques for visualizing Fermat's last theorem: a case study
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hanson, A.J.; Heng, P.A.; Kaplan, B.C.
Year: 1990
Visualizing computer memory architectures
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Alpern, B.; Carter, L.; Selker, T.
Year: 1990
A methodology for scientific data visualisation: choosing representations based on a natural scene paradigm
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Robertson, P.K.
Year: 1990
Moving iconic objects in scientific visualization
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kerlick, D.G.
Year: 1990
Classifying visual knowledge representations: a foundation for visualization research
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lohse, J.; Rueter, H.; Biolsi, K.; Walker, N.
Year: 1990
A problem-oriented classification of visualization techniques
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wehrend, S.; Lewis, C.
Year: 1990
Visualization and three-dimensional image processing of positron emission tomography (PET) brain images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gershon, N.D.
Year: 1990
Applying space subdivision techniques to volume rendering
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Subramanian, K.R.; Fussell, D.S.
Year: 1990
Volume visualization in cell biology
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kaufman, A.; Yagel, R.; Bakalash, R.; Spector, I.
Year: 1990
Hierarchical triangulation using terrain features
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Scarlatos, L.; Pavlidis, T.
Year: 1990
Rendering and managing spherical data with sphere quadtrees
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gyorgy, F.
Year: 1990
Methods for surface interrogation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hagen, H.; Schreiber, T.; Gschwind, E.
Year: 1990
A three-dimensional/stereoscopic display and model control system for Great Lakes forecasts
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yen, C.-C.J.; Bedford, K.W.; Kempf, J.L.; Marshall, R.E.
Year: 1990
Spline-based color sequences for univariate, bivariate and trivariate mapping
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pham, B.
Year: 1990
Interactive visualization of quaternion Julia sets
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hart, J.C.; Kauffman, L.H.; Sandim, D.J.
Year: 1990
A journey into the fourth dimension (visualization)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ke, Y.; Panduranga, E.S.
Year: 1990
Exploring N-dimensional databases
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:LeBlanc, J.; Ward, M.O.; Wittels, N.
Year: 1990
Shape coding of multidimensional data on a microcomputer display
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Beddow, J.
Year: 1990
Visualization of irregular multivariate data
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Foley, T.A.; Lane, D.A.
Year: 1990
Visualizing a scalar field on an N-dimensional lattice
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mihalisin, T.; Gawlinski, E.; Timlin, J.; Schwegler, J.
Year: 1990
Ray traced scalar fields with shaded polygonal output
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Meyers, R.J.; Stephenson, M.B.
Year: 1990
The application of transport theory to visualization of 3D scalar data fields
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Krueger, W.
Year: 1990
Visualization of scalar data defined on a structured grid-applications to petroleum research
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pajon, J.L.; Tran, V.B.
Year: 1990
A numerical method for rendering spherical reflections
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dobkin, D.; Panduranga, E.S.; Zhu, M.
Year: 1990
Superposing images with shadow casting
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hsu, P.; Staudhammer, J.
Year: 1990
Automatic illustration of 3D geometric models: surfaces
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dooley, D.; Cohen, M.F.
Year: 1990
Scattered data interpolation tools in a microcomputer visualization environment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Voegele, K.
Year: 1990
Design of an end-user data visualization system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Brittain, D.L.; Aller, J.; Wilson, M.; Wang, S.-L.C.
Year: 1990
A system for three-dimensional acoustic 'visualization' in a virtual environment workstation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wenzel, E.M.; Stone, P.K.; Fisher, S.S.; Foster, S.H.
Year: 1990
An interpersonal multimedia visualization system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Phillips, R.L.
Year: 1990
Techniques for visualizing 3-dimensional manifolds
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Laszlo, M.J.
Year: 1990
Accurate display of tensor product isosurfaces
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rockwood, A.
Year: 1990
Parallel coordinates: a tool for visualizing multi-dimensional geometry
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Inselberg, A.; Dimsdale, B.
Year: 1990
Visualization of free form volumes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lasser, D.
Year: 1990
Visualization for nonlinear engineering FEM analysis in manufacturing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Edgar, G.W.
Year: 1990
Volume microscopy of biological specimens based on non-confocal imaging techniques
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Senft, S.L.; Argiro, V.J.; VanZandt, W.L.
Year: 1990
Visualization for the information age
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Herr, L.
Year: 1990
Case study in scientific visualization: factors inducing periodic breathing in humans with blunted hypoxic sensitivity
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fordyce, W.E.; Ventrella, J.J.
Year: 1990
Interactive investigation of fluid mechanics data sets
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Legensky, S.M.
Year: 1990
Real-world applications of visualization solutions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Prawel, D.A.
Year: 1990
Personal visualization system: applications in research and engineering
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dolecek, Q.E.; Moorjani, K.; Kim, B.F.; Tilley, D.G.; Denney, T.S., Jr.
Year: 1990
A graphical interface for robotic remediation of underground storage tanks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Christensen, B.K.; Desjarlais, L.M.
Year: 1990
Goal-oriented behavior in autonomous systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Liu, P.
Year: 1990
Collision-free path planning for a shape-changeable mobile robot in a 3-dimensional environment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Xue, Q.; Sheu, P.C.-Y.
Year: 1990
Minor moves-global results: robot trajectory planning
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hyotyniemi, H.
Year: 1990
RL4: a tool for knowledge-based induction
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Clearwater, S.H.; Provost, F.J.
Year: 1990
A method that combines inductive learning with exemplar-based learning
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Zhang, J.
Year: 1990
Rule compilation from constraint-based problem solving
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Subramanian, S.; Freuder, E.C.
Year: 1990
Implementation of a genetic algorithm based associative classifier system (ACS)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Twardowski, K.E.
Year: 1990
Building embedded languages and expert system shells in Prolog
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yalcinalp, L.U.; Sterling, L.
Year: 1990
An introduction to KEDE-A hybrid knowledge engineering development environment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Zijian Zheng; Wei Li
Year: 1990
A hybrid knowledge representation as a basis of requirement specification and reasoning
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tsai, J.J.P.; Weigert, T.; Jang, H.C.
Year: 1990
An object-oriented environment for multiple AI paradigms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ibrahim, M.H.; Woyak, S.W.
Year: 1990
Dependable knowledge-based systems development and verification: what we can learn from software engineering and what we need
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bologna, S.; Ness, E.; Sivertsen, T.
Year: 1990
Automatic elicitation of interactive rules from data with exceptions using TMS
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yamazaki, T.
Year: 1990


Advertisement