Checkpointing multicomputer applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Li, K.; Naughton, J.F.; Planck, J.S.
Year: 1991
A timestamp-based checkpointing protocol for long-lived distributed computations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cristian, F.; Jahanian, F.
Year: 1991
File system measurements and their application to the design of efficient operation logging algorithms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bacon, D.F.
Year: 1991
Masking failures of multidimensional sensors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chew, P.; Marzullo, K.
Year: 1991
A statistical clock synchronization algorithm for anisotropic networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Couvet, D.; Florin, G.; Natkin, S.
Year: 1991
On the testability of distributed real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Schutz, W.
Year: 1991
Optimistic failure recovery for very large networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lowry, A.; Russell, J.R.; Goldberg, A.P.
Year: 1991
Efficient communication of commitment-dependency information in the programmer-transparent coordination (PTC) scheme for cooperative recovery
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kim, K.H.; You, J.H.
Year: 1991
Flexible schemes for application-level fault tolerance
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Strigini, L.; Di Giandomenico, F.
Year: 1991
A model for interface groups
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Olsen, M.H.; Oskiewicz, E.; Warne, J.P.
Year: 1991
Formalising replicated distributed processing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Koutny, M.; Mancini, L.V.; Pappalardo, G.
Year: 1991
On tolerating faults in naturally redundant algorithms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Laranjeira, L.A.; Malek, M.; Jenevein, R.
Year: 1991
Dependability evaluation of bus and ring communication topologies for the Delta-4 distributed fault-tolerant architecture
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kanoun, K.; Powell, D.
Year: 1991
Flexible handling of diverse dependability requirements in MARS
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kantz, H.
Year: 1991
Efficient transient simulation of failure/repair Markovian models
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Carrasco, J.A.
Year: 1991
Performability evaluation of CSMA/CD and CSMA/DCR protocols under transient fault conditions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Prodromides, K.H.; Sanders, W.H.
Year: 1991
A study of the reliability of Internet sites
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Long, D.D.E.; Carroll, J.L.; Park, C.J.
Year: 1991
Ordered broadcasts for large applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ng, T.P.
Year: 1991
Keeping processes under surveillance
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Becker, T.
Year: 1991
A fault-tolerant, scalable, low-overhead distributed garbage detection protocol
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shapiro, M.
Year: 1991
Copying garbage collection for distributed object stores
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mancini, L.V.; Rotella, V.; Venosa, S.
Year: 1991
Genera retrospective
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Moon, D.A.
Year: 1991
Choices, frameworks and refinement
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Campbell, R.H.; Islam, N.; Johnson, R.; Kougiouris, P.; Madany, P.
Year: 1991
Reflective object management in the Muse operating system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yokote, Y.; Mitsuzawa, A.; Fujinami, N.; Tokoro, M.
Year: 1991
Object-oriented operating systems design and the revival of program families
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cordsen, J.; Schroder-Preikschat, W.
Year: 1991
Quaject composition in the Synthesis kernel
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pu, C.; Massalin, H.
Year: 1991
Incorporating multimedia in distributed object-oriented systems: the importance of flexible management
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Blair, G.S.; Davies, N.
Year: 1991
A proposal for computer system schemas
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Welch, B.B.
Year: 1991
Architectural support for persistent object systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rosenberg, J.
Year: 1991
Hardware and operating system support for conservative garbage collection
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Boehm, H.-J.
Year: 1991
COOL-2: an object oriented support platform built above the Chorus micro-kernel
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lea, R.; Amaral, P.; Jacquemot, C.
Year: 1991
A generic object-oriented virtual machine
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Krakowiak, S.; Freyssinet, A.; Lacourte, S.
Year: 1991
Operating system support for small objects
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wilson, P.R.
Year: 1991
A fast parallel conservative garbage collector for concurrent object-oriented systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Matsuoka, S.; Furuso, S.; Yonezawa, A.
Year: 1991
Reclaiming storage in an object oriented platform supporting extended C++ and Objective-C applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ferreira, P.
Year: 1991
Towards generic support for distributed information systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cahill, V.; Horn, C.; Starovic, G.
Year: 1991
Service composition in Lipto
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Druschel, P.; Peterson, L.L.; Hutchinson, N.C.
Year: 1991
Object-oriented communication and structuring in Vanguard
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Finlayson, R.S.; Hennecke, M.D.; Goldberg, S.L.; Coolidge, J.L.; Parghi, A.G.; Sznyter, E.W.
Year: 1991
Object-oriented interfaces in the Mach 3.0 multi-server system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Guedes, P.; Julin, D.P.
Year: 1991
Why object oriented operating systems are boring
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hamilton, G.; Khalidi, Y.A.; Nelson, M.N.
Year: 1991
Objects, users, and applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Linton, M.A.
Year: 1991
Towards a new model of abstraction in software engineering
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kiczales, G.
Year: 1991
Implementation of distributed objects in Emerald
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jul, E.; Steensgaard, B.
Year: 1991
SPACE: a new approach to operating system abstraction
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Probert, D.; Bruno, J.L.; Karaorman, M.
Year: 1991
A design of a communication facility that provides the execution environment for ABCL/c+ programs on multi-processor systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kokusho, Y.; Doi, N.
Year: 1991
The XENOOPS project
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Berbers, Y.; Joosen, W.; Moons, H.; Verbaeten, P.
Year: 1991
Effective load balancing in a distributed object-support operating system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dickman, P.
Year: 1991
Design issues of a strongly distributed object based system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Konstantas, D.
Year: 1991
BOAR: a library of fragmented object types for distributed abstractions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Makpangou, M.; Gourhant, Y.; Shapiro, M.
Year: 1991
Distributed object interoperability via a network type system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Muckelbauer, P.A.; Russo, V.F.
Year: 1991
Can C++ be used for programming distributed and persistent objects?
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sequeira, M.; Marques, J.A.
Year: 1991
Fault and intrusion tolerance in object-oriented systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Randell, B.; Fabre, J.-C.
Year: 1991
A design for fine-grained access control in Melampus
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Luniewski, A.W.; Stamos, J.W.; Cabrera, L.-F.
Year: 1991
Implementing atomic objects with the RelaX transaction facility
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mock, M.; Kroeger, R.
Year: 1991
How to design a parallel computer
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:May, D.
Year: 1991
Liquid nitrogen CMOS for computer applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gaensslen, F.H.; Meyer, D.D.
Year: 1991
Design and test-the two sides of a coin
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Agrawal, V.D.
Year: 1991
Logic design for a high performance mainframe computer-the HITAC M-880 processor
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shintani, Y.; Inoue, K.; Kamada, E.; Shonai, T.; Wada, K.; Abe, S.; Wakai, K.
Year: 1991
Architectural considerations for SF-core based microprocessor
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shachamm, A.; Levy, Y.; Bronstein, Z.; Loewenstein, E.; Bruck, D.M.; Deitcher, D.
Year: 1991
Module generation for AND/XOR-fields (XPLAs)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Froessl, J.; Eschermann, B.
Year: 1991
A layout compaction algorithm with multiple grid constraints
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lee, J.
Year: 1991
Methods and algorithms for converting IC designs between incompatible design systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pajarre, E.; Ritoniemi, T.; Tenhunen, H.
Year: 1991
Incremental synthesis for engineering changes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Watanabe, Y.; Brayton, R.K.
Year: 1991
Concurrent resynthesis for network optimization
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chen, K.-C.; Fujita, M.
Year: 1991
Dual global flow
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Damiano, R.; Berman, L.
Year: 1991
Stafan algorithms for MOS circuits
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Villoldo, J.; Agrawal, P.; Agrawal, V.D.
Year: 1991
Fast differential fault simulation by dynamic fault ordering
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cabodi, G.; Gai, S.; Sonza Reorda, M.
Year: 1991
A fine grain architecture for parallel fault simulation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Trotter, J.; Evans, R.
Year: 1991
Partitioning sequential circuits for logic optimization
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dey, S.; Brglez, F.; Kedem, G.
Year: 1991
Redundancy identification and removal based on implicit state enumeration
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cho, H.; Hachtel, G.D.; Somenzi, F.
Year: 1991
Retiming of circuits with single phase transparent latches
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shenoy, N.; Brayton, R.K.; Sangiovanni-Vincentelli, A.
Year: 1991
Modeling of interconnection lines for simulation of VLSI circuits
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:dos Santos, F.S.G.; Swart, J.W.
Year: 1991
Power play-fast dynamic power estimation based on logic simulation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Krodel, T.H.
Year: 1991
Parallel event-driven waveform relaxation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wen, Y.-C.; Gallivan, K.; Saleh, R.
Year: 1991
A technique for generating efficient simulators
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bakowski, P.; Dubois, J.-L.; Pawlak, A.
Year: 1991
Designing self-testable cellular arrays
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wu, C.-W.; Lu, S.-K.
Year: 1991
Concurrent error detection in array dividers by alternating input data
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wey, C.-L.
Year: 1991
Testing of analog neural array-processor chips
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hsu, W.-J.; Sheu, B.J.; Gowda, S.M.
Year: 1991
Fault-tolerant model of neural computing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chu, L.-C.
Year: 1991
On-chip multiple superscalar processors with secondary cache memories
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hanawa, M.; Nishimukai, T.; Nishii, O.; Suzuki, M.; Yano, K.; Hiraki, M.; Shukuri, S.; Nishida, T.
Year: 1991
System level ASIC design for Hewlett-Packard's low cost PA-RISC workstations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Johnson, L.; Horning, R.; Thayer, L.; Li, D.; Snyder, R.
Year: 1991
DesignFab: a methodology for ULSI microprocessor design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shahaf, M.
Year: 1991
Implementation-independent model of an instruction set architecture using VHDL
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Salinas, M.H.; Johnson, B.W.; Aylor, J.H.
Year: 1991
Overview of the Monsoon project
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Traub, K.R.; Beckerle, M.J.; Papadopoulos, G.M.; Hicks, J.E.; Young, J.
Year: 1991
The Monsoon interconnection network
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Joerg, C.; Boughton, A.
Year: 1991
Test and validation for Monsoon processing elements
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Beckerle, M.J.; Papadopoulos, G.M.
Year: 1991
An effective analog approach to Steiner routing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kahng, A.
Year: 1991
Performance-driven global routing for cell based ICs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cong, J.; Kahng, A.; Robins, G.; Sarrafzadeh, M.; Wong, C.K.
Year: 1991
Critical net routing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cohoon, J.P.; Randall, L.J.
Year: 1991
Synthesis of delay-insensitive circuits by refinement into atomic threads
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Li, H.F.; Leung, S.C.; Lam, P.N.
Year: 1991
Self-timed logic using current-sensing completion detection (CSCD)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dean, M.E.; Dill, D.L.; Horowitz, M.
Year: 1991
Synthesis of asynchronous state machines using a local clock
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nowick, S.M.; Dill, D.L.
Year: 1991
Amdahl chip delay test system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Deol, I.; Mallipeddi, C.; Ramakrishnan, T.
Year: 1991
Robust path delay-fault testability on dynamic CMOS circuits
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:McGeer, P.C.
Year: 1991
Syndrome-based functional delay fault location in linear digital data-flow graphs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chatterjee, A.; d'Abreu, M.A.
Year: 1991
MPU: a N-tuple matching processor
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Payne, R.H.; Delgado-Frias, J.G.
Year: 1991
Transitive closure and graph component labeling on realistic processor arrays based on reconfigurable mesh network
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Maresca, M.; Baglietto, P.
Year: 1991
Decomposed arbiters for large crossbars with multi-queue input buffers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chi, H.-C.; Tamir, Y.
Year: 1991
A compositional transformation for formal verification
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cerny, E.
Year: 1991
Automatic derivation of FSM specification to implementation encoding
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pixley, C.; Beihl, G.; Pacas-Skewes, E.
Year: 1991
Design verification and reachability analysis using algebraic manipulation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Devadas, S.; Keutzer, K.; Krishnakumar, A.S.
Year: 1991
Boolean satisfiability and equivalence checking using general binary decision diagrams
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ashar, P.; Ghosh, A.; Devadas, S.
Year: 1991
Power-down structures for BIST
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Levy, P.S.
Year: 1991
A unique approach to built-in-self-test circuit design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Al-Arian, S.A.; Abujbara, H.Y.; Ruel, J.C.
Year: 1991
New implementations, tools, and experiments for decreasing self-checking PLAs area overhead
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nicolaidis, M.; Boudjit, M.
Year: 1991
A built-in self-testing approach for minimizing hardware overhead
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chiu, S.S.K.; Papachristou, C.A.
Year: 1991
CMOS processor circuit design in Hewlett-Packard's series 700 workstations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gleason, C.; Forsyth, M.; Kohlhardt, C.; Mangelsdorf, S.; Arnold, B.; Luebs, R.
Year: 1991
F-RISC/I: fast reduced instruction set computer with GaAs (H) MESFET implementation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tien, C.K.; Poon, C.C.; Greub, H.; McDonald, J.F.
Year: 1991
F-RISC/G: AlGaAs/GaAs HBT standard cell library
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nah, K.; Philhower, R.; Van Etten, J.S.; Simmons, S.; Tsinker, V.; Loy, J.; Greub, H.; McDonald, J.F.
Year: 1991
A mechanism for efficient context switching
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nuth, P.R.; Dally, W.J.
Year: 1991
A genetic algorithm for global improvement of macrocell layouts
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Glasmacher, K.; Hess, A.; Zimmermann, G.
Year: 1991
I/O pad assignment based on the circuit structure
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pedram, M.; Chaudhary, K.; Kuh, E.S.
Year: 1991
A provable near-optimal algorithm for the channel pin assignment problem
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cong, J.; Khoo, K.-Y.
Year: 1991
Design methodology for a MIPS compatible embedded control processor
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Peck, R.; Patel, J.
Year: 1991
Verification techniques for a MIPS compatible embedded control processor
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jones, D.; Yang, R.; Kwong, M.; Harper, G.
Year: 1991
The architecture of the LR33000: a MIPS compatible RISC processor for embedded control applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Caulk, B.; Desai, S.; Gavrielov, M.; Harper, G.; Jones, D.; Kwong, M.; Murzello, M.; Oke, T.; Patel, J.; Peck, R.; Wei, J.; Yang, R.
Year: 1991
Illustration of the SFG-tracing multi-level behavioral verification methodology, by the correctness proof of a high to low level synthesis application in Cathedral-II
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Genoe, M.; Claesen, L.; Verlind, E.; Proesmans, F.; De Man, H.
Year: 1991
Specifying system behavior in CPA
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:McFarland, M.C.; Kowalski, T.J.
Year: 1991
A formally verified system for logic synthesis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Aagaard, M.; Leeser, M.
Year: 1991
Aliasing probability in multiple input linear signature automata for q-ary symmetric errors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Edirisooriya, G.; Robinson, J.P.
Year: 1991
Reduced Hamming count and its aliasing probability
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gleason, A.; Jone, W.-B.
Year: 1991
On the manifestation of faults to errors in signature analysis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chan, J.C.; Womack, B.F.; Wong, D.F.
Year: 1991
Operation method in fuzzy set operation processor
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Katsumata, A.; Tokunaga, H.; Yasunobu, S.
Year: 1991
A tag coprocessor architecture for symbolic languages
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fuentes-Sanchez, V.; Cheung, P.Y.K.
Year: 1991
An efficient pattern match architecture for production systems using content-addressable memory
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dou, C.; Wu, S.-M.
Year: 1991
Object caching for performance in object-oriented systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chang, J.M.; Gehringer, E.F.
Year: 1991
Early performance estimation of super scalar machine models
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bose, P.
Year: 1991
Interlock schemes for micropipelines: application to a self-timed rebound sorter
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Karthik, S.; de Souza, I.; Rahmeh, J.T.; Abraham, J.A.
Year: 1991
An adaptive hardware machine architecture and compiler for dynamic processor reconfiguration
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Athanas, P.M.; Silverman, H.F.
Year: 1991
FASTCHART-idea and implementation (virtual machine)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lindh, L.; Stanischewski, F.
Year: 1991
Mapping design knowledge from multiple representations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cyre, W.
Year: 1991
Synthesizing converters between finite state protocols
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Akella, J.; McMillan, K.
Year: 1991
An integrated design environment for application specific integrated processor
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sato, J.; Imai, M.; Hakata, T.; Alomary, A.Y.; Hikichi, N.
Year: 1991
Allocation of multiport memory with ports of different type in register transfer level synthesis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chen, C.-I.H.
Year: 1991
Random testability of redundant circuits
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Krasniewski, A.; Albicki, A.
Year: 1991
Logic synthesis of 100-percent testable logic networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tromp, G.-J.; van de Goor, A.J.
Year: 1991
Fault tolerant VLSI design with functional block redundancy
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ernst, R.; Nowottnick, P.
Year: 1991
Gigascale integration (GIS) in the 21st century
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Meindl, J.D.
Year: 1991
IBM AS/400 processor architecture and design methodology
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Schmierer, Q.G.; Wottreng, A.H.
Year: 1991
VLSI design automation for the application system/400
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lembach, R.F.; Borkenhagen, J.M.; Elliott, J.R.; Schmidt, R.A.
Year: 1991
Logic synthesis of synchronous parallel controllers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pardey, J.; Bolton, M.
Year: 1991
SYNTEST: a method for high-level SYNthesis with self-TESTability
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Papachristou, C.; Chiu, S.; Harmanani, H.
Year: 1991
Design considerations for digital circuit interconnections in a multilayer printed circuit board
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Agrawal, A.P.; Chang, C.S.; Gernhart, D.A.
Year: 1991
Fine-line printed circuit board for high-performance computer design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Huang, C.-C.; Willis, J.; Schmitt, T.
Year: 1991
Fast capacitance extraction of general three-dimensional structures
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nabors, K.; Kim, S.; White, J.; Senturia, S.
Year: 1991
A simulator for general purpose optical arrays
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Marvin, W.B.; Burleson, W.P.
Year: 1991
An optical multichip module
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dickinson, A.; Downs, M.M.
Year: 1991
A GaAs receiver module for optoelectronic computing and interconnection
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Choi, J.; Sheu, B.J.
Year: 1991
VLSI designs for high-speed Huffman decoder
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chang, S.-F.; Messerschmitt, D.G.
Year: 1991
BioSCAN: a VLSI-based system for biosequence analysis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:White, C.T.; Singh, R.K.; Reintjes, P.B.; Lampe, J.; Erickson, B.W.; Dettloff, W.D.; Chi, V.L.; Altschul, S.F.
Year: 1991
VLSI implementation of a new block cipher
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bonnenberg, H.; Curiger, A.; Felber, N.; Kaeslin, H.; Lai, X.
Year: 1991
An optimal algorithm for spiral floorplan designs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chen, C.-H.; Tollis, I.G.
Year: 1991
Area optimization for higher order hierarchical floorplans
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:The, K.-S.; Wong, D.F.
Year: 1991
The cycle structure of channel graphs in nonsliceable floorplans and a unified algorithm for feasible routing order
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sur-Kolay, S.; Bhattacharya, B.B.
Year: 1991
Flipping modules to minimize maximum wire length
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chong, K.; Sahni, S.
Year: 1991
High performance packaged electronics for the IBM ES9000 mainframe
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Barish, A.; Eckhardt, J.; Mayo, M.; Svarczkopf, W.; Gaur, S.; Tummala, R.
Year: 1991
IBM ES/9000 system architecture and hardware
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nohilly, W.J.; Lund, V.T.
Year: 1991
Enhanced chip/package design for the IBM ES/9000
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Belanger, R.S.; Conrady, D.P.; Honsinger, P.S.; Lavery, T.J.; Rothman, S.J.; Schanzenback, E.C.; Sitaram, D.; Selinger, C.R.; DuBois, R.E.; Mahoney, G.W.; Miceli, G.F.
Year: 1991
Design automation of test for the ES/9000 series processors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Keller, B.L.; Haynes, D.A.
Year: 1991
A comparison of redundant CORDIC rotation engines
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Harding, J.A.; Lang, T.; Lee, J.-A.
Year: 1991
A fast division algorithm for VLSI
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Burgess, N.
Year: 1991
High-speed VLSI arithmetic processor architectures using hybrid number representation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Srinivas, H.R.; Parhi, K.K.
Year: 1991
New classes of unidirectional error-detecting codes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Parhami, B.
Year: 1991
Design and synthesis of self-checking VLSI circuits and systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jha, N.K.; Wang, S.-J.
Year: 1991
Design of a self-testing checker for Borden code
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Piestrak, S.J.
Year: 1991
Technologies for rapid prototyping of multi-chip modules
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Miracky, R.; Bishop, T.; Galanakis, C.; Hashemi, H.; Hirsch, T.; Madere, S.; Muller, H.; Rudwick, T.; Smith, L.; Sommerfeldt, S.; Weigler, B.
Year: 1991
Energy considerations in multichip-module based multiprocessors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Burr, J.B.; Peterson, A.M.
Year: 1991
The commercial realization of multi-chip modules quo vadimus
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hendel, R.
Year: 1991
High-performance VLSI processor for robot inverse dynamics computation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kittichaikoonkit, S.; Kameyama, M.; Higuchi, T.
Year: 1991
A new O(n log n) scheduling heuristic for parallel decomposition of sparse matrices
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Telichevesky, R.; Agrawal, P.; Trotter, J.A.
Year: 1991
A predictive parallel motion estimation algorithm for digital image processing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chen, L.-G.; Chen, W.-T.; Jehng, Y.-S.; Chiueh, T.-D.
Year: 1991
A multiprocessor architecture for circuit simulation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Trotter, J.; Agrawal, P.
Year: 1991
Three-level decomposition with application to PLDs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Malik, A.A.; Harrison, D.; Brayton, R.K.
Year: 1991
An algorithm for the multi-level minimization of Reed-Muller representations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Saul, J.
Year: 1991
Indentification of viable paths using binary decision diagrams
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ju, Y.-C.; Saleh, R.A.
Year: 1991
Optimal clocking of circular pipelines
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sakallah, K.A.; Mudge, T.N.; Burks, T.M.; Davidson, E.S.
Year: 1991
Nimbus: An integrated display chip
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Locanthi, B.; McLellan, R.
Year: 1991
Implicit manipulation of equivalence classes using binary decision diagrams
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lin, B.; Newton, A.R.
Year: 1991
An approach to optimal DFT using partial parallel scan
Publisher: IEEE Computer Society
Authors:Zhang Zuan; Chen Tinghuai
Year: 1991
An optimal design for parallel testing
Publisher: IEEE Computer Society
Authors:Xiang Dong; Wei Daozheng; Chen Tinghuai
Year: 1991
Fault tolerant IC chip for crystal oscillators
Publisher: IEEE Computer Society
Authors:M. Tsuchimura; H. Sawada; T. Kurokawa; Y. Koga
Year: 1991
Critical issues in the design of a fault-tolerant multiprocessor database server
Publisher: IEEE Computer Society
Authors:S.O. Hvasshovd; T. Saeter; O. Torbjornsen
Year: 1991
Develop a real-time fault-tolerant computer
Publisher: IEEE Computer Society
Authors:Yuan Youguang; Ma Zhong
Year: 1991
Test generation for combinational circuits with multiple faults
Publisher: IEEE Computer Society
Authors:H. Takahashi; N. Iuchi; Y. Takamatsu
Year: 1991
Generation of test sequences for current testing
Publisher: IEEE Computer Society
Authors:Y. Miura; Y. Wada; K. Kinoshita
Year: 1991
A new approach to specify real-time behavior of distributed systems
Publisher: IEEE Computer Society
Authors:R. Mall; L.M. Patnaik
Year: 1991
Fault tolerance assurance methodology of the SXO operating system for continuous operation
Publisher: IEEE Computer Society
Authors:H. Yoshida; H. Suzuki; K. Okazaki
Year: 1991
A design method for cost-effective self-testing checker for optimal d-unidirectional error detecting codes
Publisher: IEEE Computer Society
Authors:E. Fujiwara; M. Yoshikawa
Year: 1991
Designing multi-level quorum schemes for highly replicated data
Publisher: IEEE Computer Society
Authors:B. Freisleben; H.-H. Koch; O. Theel
Year: 1991
Incorporation of multiple errors in reliability modeling of fault-tolerant systems
Publisher: IEEE Computer Society
Authors:B.C. Soh; T.S. Dillon
Year: 1991
A probabilistic diagnostic model in malicious environments and its algorithms
Publisher: IEEE Computer Society
Authors:Liu Jian-Jun; Rong Ben-Wei
Year: 1991
Fault diagnosis for analog integrated circuits based on the circuit layout
Publisher: IEEE Computer Society
Authors:H.-C.H. Liu; M. Soma
Year: 1991
Minimum number of links needed for fault-tolerance in cluster-based network
Publisher: IEEE Computer Society
Authors:K. Ishida; T. Kikuno
Year: 1991
Spare channel assignment for restoration in fault-tolerant loop network
Publisher: IEEE Computer Society
Authors:T. Kikuno; C. Chen; K. Kawashima; Y. Kakuda
Year: 1991
Fault tolerant multi-processor communication systems using bank memory switching
Publisher: IEEE Computer Society
Authors:N. Tanaka; T. Kurokawa; Y. Koga
Year: 1991
C/sub 3/-a powerful connection network for fault tolerance
Publisher: IEEE Computer Society
Authors:T. McDonald; H. Schroder
Year: 1991
A method of shuffling compactor inputs in VLSI self-testing
Publisher: IEEE Computer Society
Authors:K. Furuya; E.J. McCluskey
Year: 1991
Comparison of aliasing probability for multiple MISRs and M-stage MISRs with m inputs
Publisher: IEEE Computer Society
Authors:K. Iwasaki; Shou-Ping Feng; T. Fujiwara; T. Kasami
Year: 1991
Fault-tolerant attribute evaluation in distributed software environments
Publisher: IEEE Computer Society
Authors:A. Feng; T. Kikuno; K. Torii
Year: 1991
Data level fault tolerance in demultiplexer filter banks
Publisher: IEEE Computer Society
Authors:R. Redinbo
Year: 1991
Error propagation codes
Publisher: IEEE Computer Society
Authors:S. Al-Bassam; R. Venkatesan
Year: 1991
Trustworthy bus arbiter by alternate-data retry
Publisher: IEEE Computer Society
Authors:K. Tokito; T. Kurokawa; Y. Koga
Year: 1991
An O(N log/sub 2//sup 2/N) fault-tolerant decentralized commit protocol
Publisher: IEEE Computer Society
Authors:Shyan-Ming Yuan
Year: 1991
Evaluation of a new algorithm for fault-tolerant clock synchronization
Publisher: IEEE Computer Society
Authors:M.J. Pfluegl; D.M. Blough
Year: 1991
Verification of register transfer level (RTL) designs
Publisher: IEEE Computer Society
Authors:A.P. Pawlovsky; S. Naito
Year: 1991
An algebraic specification of a daisy chain arbiter
Publisher: IEEE Computer Society
Authors:Y.R. Hou; A. Ohnishi; Y. Sugiyama; T. Okamoto
Year: 1991
Reconfiguration issues in digital channelisers for satellite applications
Publisher: IEEE Computer Society
Authors:K. Raghunandan; F.P. Coakley
Year: 1991
On fault tolerance of reconfigurable arrays using spare processors
Publisher: IEEE Computer Society
Authors:K. Sugihara; T. Kikuno
Year: 1991
Experimental validation of distributed recovery block
Publisher: IEEE Computer Society
Authors:Shin Heu; Il-hong Suh; J.C. Yoon
Year: 1991
Evaluation of combined approaches to distributed software-based fault tolerance
Publisher: IEEE Computer Society
Authors:R.E. Gantenbein; Sung Yun Shin; J.R. Cowles
Year: 1991
Fault tolerant systems in China
Publisher: IEEE Computer Society
Authors:Shiyi Xu
Year: 1991
Rebus passwords
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:King, M.M.
Year: 1991
Observations on integrating multilevel secure components into system high distributed systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Niemeyer, R.E.; Ashby, V.A.
Year: 1991
Security considerations in the acquisition of computer systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pierce, C.R.
Year: 1991
Considerations for applying disk encryptors to environments subject to hostile overrun
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mallet, P.W.
Year: 1991
Proposed security for critical Air Force missions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Johnson, H.L.; Arvin, C.; Jenkinson, E.; Pierce, B.
Year: 1991
Fielding multilevel security into command and control systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Galik, D.; Tretick, B.
Year: 1991
Complete containment sets and their application to the inference problem
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Weems, B.P.; Shieh, W.G.; Jaseemuddin, M.
Year: 1991
Domain reduction dependencies: A new type of dependency for statistical database security
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hansen, S.C.; Unger, E.A.
Year: 1991
A multilevel secure relational data model based on views
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pernul, G.; Luef, G.
Year: 1991
A distributed implementation of the extended schematic protection model
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ammann, P.; Sandhu, R.S.; Suri, G.S.
Year: 1991
To Bell and back: developing a formal security policy model for a C/sup 2/ system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gove, R.A.; Jaworski, L.M.; Williams, J.G.
Year: 1991
Verification of the security of a secure network component
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Schneider, E.A.
Year: 1991
Modeling internal controls of automated teller machine (ATM) systems: A computerized decision aid for design and evaluation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chao, J.C.; Komaravolu, M.; Lin, C.; Yiu, G.
Year: 1991
Security modelling using hierarchical state machines
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nestor, J.P.
Year: 1991
High level prevention of traffic analysis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Newman-Wolfe, R.E.; Venkatraman, B.R.
Year: 1991
An audit model for object-oriented databases
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kogan, B.; Jajodia, S.
Year: 1991
Real-time anomaly detection using a nonparametric pattern recognition approach
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lankewicz, L.; Benard, M.
Year: 1991
Network auditing: issues and recommendations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Schaen, S.I.; McKenney, B.W.
Year: 1991
An implementation of access control using a salient feature of primes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Moir, D.A.
Year: 1991
A prototype B3 trusted X Window System
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Epstein, J.; McHugh, J.; Pascale, R.; Orman, H.; Benson, G.; Martin, C.; Marmor-Squires, A.; Danner, B.; Branstad, M.
Year: 1991
Towards trusted cut and paste in the X Window System
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Picciotto, J.
Year: 1991
Security constraint processing during the update operation in a multilevel secure database management system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Collins, M.; Ford, W.; Thuraisingham, B.
Year: 1991
Using polyinstantiation to develop an MLS application
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nelson, D.; Paradise, C.
Year: 1991
A single-level scheduler for the replicated architecture for multilevel-secure databases
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:McDermott, J.P.; Jajodia, S.; Sandhu, R.S.
Year: 1991
Exact results in the aggregation and disaggregation of stochastic Petri nets
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Henderson, W.; Lucic, D.
Year: 1991
Simulation of timed Petri nets by ordinary Petri nets and applications to decidability of the timed reachability problem and other related problems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Valero Ruiz, V.; de Frutos Escrig, D.; Cuartero Gomez, F.
Year: 1991
A structural colour simplification in well-formed coloured nets
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chiola, G.; Franceschinis, G.
Year: 1991
A parallel algorithm for computing invariants of Petri net models
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Marinescu, D.C.; Beaven, M.; Stansifer, R.
Year: 1991
Performance model of interference avoidance policy using stochastic Petri nets
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kobayashi, T.; Kurihara, K.
Year: 1991
Petri net modelling of Occam programs for detecting indeterminacy, non-termination and deadlock anomalies
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Zhiwei Xu; de Vel, O.
Year: 1991
Modelling layered protocols in LOOPN
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lakos, C.A.; Keen, C.D.
Year: 1991
Stochastic marked graphs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rajsbaum, S.
Year: 1991
Estimating the mean cycle time for stochastic safe marked graphs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Magott, J.; Skudlarski, K.
Year: 1991
A decomposition approach for stochastic Petri net models
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ciardo, G.; Trivedi, K.S.
Year: 1991
Performance Petri net analysis of communications protocol software by delay-equivalent aggregation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Woodside, C.M.; Yao Li
Year: 1991
Superposed stochastic automata: a class of stochastic Petri nets amenable to parallel solution
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Donatelli, S.
Year: 1991
Subnetwork time distributions as a means for multilevel evaluation of generalized stochastic Petri nets
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Klas, G.; Matuschka, R.
Year: 1991
Dealing with arbitrary time distributions with the stochastic timed Petri net model-application to queueing systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Juanole, G.; Atamna, Y.
Year: 1991
GSPNs versus SPNs: what is the actual role of immediate transitions?
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chiola, G.; Donatelli, S.; Franceschinis, G.
Year: 1991
On the construction of abstract GSPNs: an exercise in modeling
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Marsan, M.A.; Donatelli, S.; Neri, F.; Rubino, U.
Year: 1991
Throughput lower bounds for Markovian Petri nets: transformation techniques
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Campos, J.; Sanchez, B.; Silva, M.
Year: 1991
Throughput upper bounds for Markovian Petri nets: embedded subnets and queueing networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Campos, J.; Silva, M.
Year: 1991
Approximate performability analysis using generalized stochastic Petri nets
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Haverkort, B.R.
Year: 1991
Performability modeling with UltraSAN
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Couvillion, J.; Freire, R.; Johnson, R.; Obal, W.D., II; Qureshi, M.A.; Rai, M.; Sanders, W.H.; Tvedt, J.E.
Year: 1991
GSPN models of concurrent architectures with mesh topology
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Caselli, S.; Conte, G.
Year: 1991
Reliability modeling of the MARS system: a case study in the use of different tools and techniques
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kantz, H.; Trivedi, K.
Year: 1991
Optimal control policies for automated storage/retrieval system using PN models and stochastic optimization
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Archetti, F.; Schiomachen, A.; Gaivoronski, A.
Year: 1991
Systematic construction of functional abstractions of Petri net models of typical components of flexible manufacturing systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Zurawski, R.Z.; Dillon, T.S.
Year: 1991
Free choice simulation of Petri nets
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Linde, H.G.
Year: 1991
Overview of the results of the Esprit basic research action DEMON-design methods based on nets
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Best, E.
Year: 1991
From basic to timed net models of Occam: an application to program placement
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Botti, O.; De Cindio, F.
Year: 1991
On periodic schedules for deterministically timed Petri net systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Onaga, K.; Silva, M.; Watanabe, T.
Year: 1991
Searching best paths to worst states
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Florin, G.; Fraize, C.; Natkin, S.
Year: 1991
Can skeletons really be used to detect deadlocks of nets?
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Findlow, G.
Year: 1991
Time warp simulation of stochastic Petri nets
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ammar, H.H.; Su Deng
Year: 1991
An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lindemann, C.
Year: 1991
IDA-based redundant arrays of inexpensive disks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bestavros, A.
Year: 1991
Distorted mirrors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Solworth, J.A.; Orji, C.U.
Year: 1991
A performance study of three high availability data replication strategies
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hsiao, H.-I.; DeWitt, D.J.
Year: 1991
On the performance issues of object-based buffering
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cheng, J.R.; Hurson, A.R.
Year: 1991
Designing highly parallel applications using database programming concepts
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:van Steen, M.R.; de Jong, E.
Year: 1991
Multiple wavefront algorithms for pattern-based processing of object-oriented databases
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Su, S.Y.W.; Chen, Y.-H.; Lam, H.
Year: 1991
Adaptive parallel hash join in main-memory databases
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Keller, A.M.; Roy, S.
Year: 1991
Dataflow query execution in a parallel main-memory environment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wilschut, A.N.; Apers, P.M.G.
Year: 1991
Comparative performance of parallel join algorithms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wolf, J.L.; Dias, D.M.; Yu, P.S.; Turek, J.
Year: 1991
Parallelizing datalog: function symbols make a difference
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Seib, J.
Year: 1991
Data partition: a practical parallel evaluation of datalog programs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Weining Zhang; Ke Wang; Siu-Cheung Chau
Year: 1991
Combining rule decomposition and data partitioning in parallel datalog program processing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shao, J.; Bell, D.A.; Hull, M.E.C.
Year: 1991
Parallel transitive closure computations using topological sort
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hua, K.A.; Hannenhalli, S.S.
Year: 1991
Parallel hierarchical evaluation of transitive closure queries
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Houtsma, M.A.W.; Cacace, F.; Ceri, S.
Year: 1991
Aspects of the BBFS broadband filesystem
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hillyer, B.K.; Robinson, B.S.
Year: 1991
The papyrus integrated data server
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Connors, T.; Hasan, W.; Kolovson, C.; Neimat, M.-A.; Schneider, D.; Wilkinson, K.
Year: 1991
High-quality and high-performance full-text document retrieval: the Parallel InfoGuide System
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Aalbersberg, I.J.; Sijstermans, F.
Year: 1991
CAT: an execution model for concurrent full text search
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Zheng Lin
Year: 1991
An efficient method for distributing search structures
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Matsliach, G.; Shmueli, O.
Year: 1991
Populating databases from multiple sources-the Hubble space telescope paradigm
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Silberberg, D.P.
Year: 1991
Cooperative visualization of computational fluid dynamics
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gerald-Yamasaki, M.J.
Year: 1991
I-CEM: an intelligent communication system for collaborative work
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hiraiwa, S.; Matsuura, N.; Matsushita, Y.
Year: 1991
ReSC: a distributed operating system for parallel and distributed applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shinjo, Y.; Kiyoki, Y.
Year: 1991
A general tool for replicating distributed services
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ladin, R.; Mazer, M.S.; Wolman, A.
Year: 1991
NETMATE: management of complex distributed networked systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yemini, Y.; Wolfson, O.
Year: 1991
A hardware and software architectural model for the manipulation of genetic databases
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Marshall, R.G.
Year: 1991
ELFS: object-oriented extensible file systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Grimshaw, A.S.; Loyot, E.C., Jr.
Year: 1991
Achieving throughput and functionality in a common architecture: the Datacycle experiment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bowen, T.F.; Cochinwala, M.; Gopal, G.; Herman, G.E.; Hickey, T.M.; Lee, K.C.; Mansfield, W.H., Jr.; Raitz, J.E.
Year: 1991
An efficient data organization for parallel algorithmic design of cartographic database
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dasgupta, R.; Bhattacharya, S.
Year: 1991
Marker-passing on a parallel knowledge processing testbed
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:DeMara, R.F.; Moldovan, D.I.
Year: 1991
Practical prefetching techniques for parallel file systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kotz, D.; Ellis, C.S.
Year: 1991
Service interface and replica management algorithm for mobile file system clients
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tait, C.D.; Duchamp, D.
Year: 1991
Policies for efficient memory utilization in a remote caching architecture
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Leff, A.; Yu, P.S.; Wolf, J.L.
Year: 1991
Load balancing algorithms for parallel database processing on shared memory multiprocessors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hirano, Y.; Satoh, T.; Inoue, U.; Teranaka, K.
Year: 1991
Optimization of parallel query execution plans in XPRS
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hong, W.; Stonebraker, M.
Year: 1991
Prototyping DBS3, a shared-memory parallel database system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bergsten, B.; Couprie, M.; Valduriez, P.
Year: 1991
A distributed catalog for heterogeneous distributed database resources
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Choy, D.M.; Selinger, P.G.
Year: 1991
Non-serializable executions in heterogeneous distributed database systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mehrotra, S.; Rastogi, R.; Korth, H.F.; Silberschatz, A.
Year: 1991
Optimal all-to-all broadcasting schemes in distributed systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chen, M.S.; Yu, P.S.; Wu, K.L.
Year: 1991
Interconnecting shared-everything systems for efficient parallel query processing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hua, K.A.; Chiang Lee; Peir, J.K.
Year: 1991
Compiling control into database queries for parallel execution management
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Borla-Salamet, P.; Chachaty, C.; Dageville, B.
Year: 1991
Parallel sorting on a shared-nothing architecture using probabilistic splitting
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:DeWitt, D.J.; Naughton, J.F.; Schneider, D.A.
Year: 1991
RETE and chart parsing from bottom-up call-graph caching
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Perlin, M.
Year: 1991
Incremental binding-space match: the linearized matchbox algorithm
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Perlin, M.
Year: 1991
Dempster-Shafer reasoning for medical image recognition
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wei-Chung Lin; Shiuh-Yung Chen; Chin-Tu Chen
Year: 1991
Verification tool for systolic array design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lin, F.; Shih, T.; Ling, N.
Year: 1991
Knowledge based process scheduling on symmetric multiprocessors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Christopher, P.J.; Dollas, A.
Year: 1991
Reducing the search time of a steady state genetic algorithm using the immigration operator
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Moed, M.C.; Stewart, C.V.; Kelly, R.B.
Year: 1991
Experience-based deductive learning
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Choi, J.; Shapiro, S.C.
Year: 1991
Extending the learnability of decision trees
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Elomaa, T.
Year: 1991
AUTOTEC: an English to Chinese machine translation system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chen, K.
Year: 1991
On-line handwritten Kanji character recognition using hypothesis generation in the space of hierarchical knowledge
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ohmori, K.; Haruki, Y.
Year: 1991
HEXPERT: an expert system building tool
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yoo, S.I.; Kim, I.K.; Park, C.H.; Chang, H.J.; Kim, T.G.; Min, M.K.
Year: 1991
Model management and the automation of computer system operations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Finkel, A.J.; Calo, S.B.; Klein, D.A.
Year: 1991
Components of expertise for knowledge level modeling
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chang, R.-J.; Novak, G.S., Jr.
Year: 1991
Parallel path-consistency algorithms for constraint satisfaction
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Keretho, S.; Loganantharaj, R.; Gudivada, V.N.
Year: 1991
Automatic contour segmentation for object analysis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hung, D.C.D.; Chen, I.R.
Year: 1991
Iterative development life cycle (IDLC): a management process for large scale intelligent system development
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Miller, F.; Paradis, R.; Whalen, K.
Year: 1991
Optimization of the decision tree
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jung, W.C.; Jones, J.B.; Chen, J.
Year: 1991
Preventing infinite looping in Prolog
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Han, J.L.
Year: 1991
Implementing a tool for timing analysis of real-time production systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cheng, A.M.K.
Year: 1991
Text processing: robust character recognition using calibrated text and diversified feature set
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hung, D.C.D.; Chen, Y.; Chen, R.; Cheng, T.
Year: 1991
GMAL: a tool for AI systems construction
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hassas, S.
Year: 1991
Toward a theory approach to visual knowledge
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jianxiang Wang; Yongchun Liu; Shenquan Liu
Year: 1991
Representing real world phenomena through HDPTN
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Poggi, A.; Adorni, G.
Year: 1991
Generalized scheduling development environment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fabens, W.; Sterling, L.
Year: 1991
A new approach to rule induction and pruning
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fensel, D.; Klein, J.
Year: 1991
A logic theory of learning from experience
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wei Li
Year: 1991
Metalevel and temporal reasoning in KNOWBEL: features and implementation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kramer, B.M.
Year: 1991
AI in multimedia (panel session)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bourbakis, N.G.; Williams, R.; Golshani, F.; Flickner, M.; Laliotis, T.; Lee, S.; Delgado-Frias, J.G.; Hammerstrom, D.; Koutsougeras, C.; Pechanek, G.G.; Wah, B.W.; Yen, J.; Bastani, F.B.; Cooper, T.; Harbison-Briggs, K.; Lauber, R.; Preece, A.D.; Zualkernan, I.A.; Tsai, W.T.; Cooke, D.E.; Feather, M.S.; Fickas, S.; Minsky, N.; Selfridge, P.G.; Smith, D.
Year: 1991
The use of version space controlled genetic algorithms to solve the Boole problem
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Reynolds, R.G.; Maletic, J.I.; Chang, S.-P.
Year: 1991
Learning algorithms using a Galois lattice structure
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Godin, R.; Missaoui, R.; Alaoui, H.
Year: 1991
Data-driven constructive induction in AQ17-PRE: A method and experiments
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bloedorn, E.; Michalski, R.S.
Year: 1991
Automated business knowledge acquisition from programs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Karakostas, V.
Year: 1991
Propositional logic for validating software object interrelationships
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bobbie, P.O.; Urban, J.E.
Year: 1991
A knowledge-base design and application prototyping tool based on an enhanced functional data model
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Prabhakar, S.; Navathe, S.
Year: 1991
Parallel sampling in Bayesian networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rego, V.; Schulz, A.
Year: 1991
SPIN: a sequential pipelined neurocomputer
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Vassiliadis, S.; Pechanek, G.G.; Delgado-Frias, J.G.
Year: 1991
MIMD implementation of neural networks through pipelined, parallel communication trees
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wohl, P.; Christopher, T.W.
Year: 1991
A machine learning tool for computer aided molecular design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bolis, G.; DiPace, L.; Fabrocini, F.
Year: 1991
Learning textural concepts through multilevel symbolic transformations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bala, J.W.; Michalski, R.S.
Year: 1991
PLANET: A tool for representing and generating plans in an RMS framework
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jaidev; Parameswaran, N.
Year: 1991
The correspondence between methods of artificial intelligence and the production and maintenance of evolutionary software
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ramamoorthy, C.V.; Cooke, D.E.
Year: 1991
DT: a classification problem solver with tabular-knowledge acquisition
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Koseki, Y.; Nakakuki, Y.; Tanaka, M.
Year: 1991
Feature-based design evaluation through constraint structure unification
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Godden, K.
Year: 1991
Abstraction of formal specifications from program code
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cheng, B.H.C.; Gannod, G.C.
Year: 1991
Shape analysis using morphological processing and genetic algorithms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bala, J.; Wechsler, H.
Year: 1991
A genetic algorithm programming environment: Splicer
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bayer, S.E.; Lui Wang
Year: 1991
A neural network based expert system model
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hudli, A.V.; Palakal, M.J.; Zoran, M.J.
Year: 1991
New crossover operators in genetic algorithms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yi Shang; Guo-Jie Li
Year: 1991
MANTRA: a shell for hybrid knowledge representation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Calmet, J.; Tjandra, I.A.; Bittencourt, G.
Year: 1991
Representing biological and physical systems as temporal event hierarchies
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gomez, F.
Year: 1991
Representing and propagating constraints in temporal reasoning
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tolba, H.; Charpillet, F.; Haton, J.-P.
Year: 1991
A stable learning algorithm for recurrent neural networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Parthasarathy, G.; Pareek, H.; Ananthraj, P.
Year: 1991
A method for training a feed-forward neural net model while targeting reduced nonlinearity
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Koutsougeras, C.; Papadourakis, G.
Year: 1991
The capability of feedforward neural networks with Omega -shaped activation functions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yiwei Chen; Bastani, F.
Year: 1991
An event-based real-time logic to specify the behavior and timing properties of real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Horng-Yuan Chen; Tsai, J.J.P.; Yaodong Bi
Year: 1991
DYNORA: a real-time planning algorithm to meet response-time constraints in dynamic environments
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hamidzadeh, B.; Shekhar, S.
Year: 1991
Hierarchical stereo matching using feature groupings
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Venkateswar, V.; Chellappa, R.
Year: 1991
A maxima-tracking method for skeletonization from Euclidean distance function
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shih, F.Y.; Pu, C.C.
Year: 1991
Boundary detection based on neural networks model
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hung, D.C.D.; Chen, K.T.
Year: 1991
Toward a general methodology for specifying expert systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lee, J.; Yen, J.
Year: 1991
Refinement of the structure of knowledge base by learning
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chengjiang Mao; Jiarong Hong
Year: 1991
3-D structure modeling via constraint resolution
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tyan, H.-R.; Jie-Yong Juang
Year: 1991
An ATMS-based geometric constraint solver for 3D CAD
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shimizu, S.; Inoue, K.; Numao, M.
Year: 1991
Algorithmic support for intelligent fire-code checking
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Delis, E.A.; Delis, A.
Year: 1991
Mechanizing skeptical abduction and its applications to artificial intelligence
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Marquis, P.
Year: 1991
A new approach for the design of reinforcement schemes for learning automata: stochastic estimator learning algorithms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Papadimitriou, G.I.
Year: 1991
The determination of neural network parameters by information theory
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Brause, R.
Year: 1991
Modeling and simulation for minimum uncertainty in qualitative physics
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lee, S.; Chen, J.
Year: 1991
Selective relaxation for constraint satisfaction problems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Freuder, E.C.; Wallace, R.J.
Year: 1991
Arc consistency for factorable relations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Perlin, M.
Year: 1991
Improving Han and Lee's path consistency algorithm
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yangjun Chen
Year: 1991
Fast hypothetical reasoning system using inference-path network
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ishizuka, M.; Ito, F.
Year: 1991
Knowledge-based configuration of computer systems using hierarchical partial choice
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kramer, B.M.
Year: 1991
KBMS support for conceptual modeling in AI
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Benn, W.
Year: 1991
The C++ embeddable rule system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Miranker, D.P.; Burke, F.; Kolts, J.; Steele, J.J.
Year: 1991
ObjTrans: an intelligent tool for knowledge-object transformation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Park, H.-S.; Su, Y.-T.
Year: 1991
A heuristic search strategy for optimization of trade-off cost measures
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Singh, R.K.; Kumar, S.; Arvind, V.
Year: 1991
Backward assembly planning
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lee, S.
Year: 1991
Searching for a minimal finite state automaton (FSA)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Puri, R.; Gu, J.
Year: 1991
An intelligent mediator for database application development
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Marinos, L.; Smit, R.A.; Oei, S.; Sirks, J.; de Jong, M.; van der Meersch, J.
Year: 1991
A tool for tree pattern matching
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wang, J.T.L.; Zhang, K.; Jeong, K.; Shasha, D.
Year: 1991
An intelligent network service prototype using knowledge processing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ide, T.; Hakata, A.; Kim, M.W.
Year: 1991
Historical Rete networks for debugging rule-based systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tuttle, S.M.; Eick, C.F.
Year: 1991
An optimal parallel matching algorithm for cographs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rong Lin; Olariu, S.
Year: 1991
Parallel matching on expanders
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Spencer, T.H.
Year: 1991
A group of permutations with edge-disjoint paths on hypercubes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Robison, A.D.
Year: 1991
The complexity of readiness and failure equivalences for processes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Huynh, D.T.; Tian, L.
Year: 1991
Towards a complexity hierarchy of wait-free concurrent objects
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chaudhuri, S.
Year: 1991
Distributed computing on anonymous hypercube networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kranakis, E.; Krizanc, D.
Year: 1991
Debugging concurrent programs using static analysis and run-time hardware monitoring
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Arvind, D.K.; Yokotsuka, D.
Year: 1991
A parallel system for test pattern generation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Balboni, G.P.; Cabodi, G.P.; Gai, S.; Sismondi, D.; Reorda, M.S.
Year: 1991
Test generation in a distributed environment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Calia, E.; Lioy, A.
Year: 1991
Detection of strong predicates in distributed programs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Waldecker, B.; Garg, V.K.
Year: 1991
Load balancing in large networks: a comparative study
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Luling, R.; Monien, B.; Ramme, F.
Year: 1991
Dynamic control of parallelism and granularity in executing nested parallel loops
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Harrison, W., III; Chow, J.-H.
Year: 1991
Effective load sharing in distributed real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shin, K.-G.; Hou, C.-J.
Year: 1991
The effects of multiprogramming on barrier synchronization
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Markatos, E.; Crovella, M.; Das, P.; Dubnicki, C.; LeBlanc, T.
Year: 1991
SIMD-emulations of hypercubes and related networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Annexstein, F.S.
Year: 1991
A period-processor-time-minimal systolic array for cubical mesh algorithms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Scheiman, C.; Cappello, P.
Year: 1991
Explicit construction for reliable reconfigurable array architectures
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sha, E.H.-M.; Steiglitz, K.
Year: 1991
An optimal algorithm for the longest common subsequence problem
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lin, H.; Lu, M.; Fang, J.
Year: 1991
SUPRA-RPC: SUbprogram PaRAmeters in Remote Procedure Calls
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Stoyenko, A.D.
Year: 1991
A high performance barrier synchronizer and its novel applications in highly parallel systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ghose, K.; Cheng, D.-C.
Year: 1991
A new algorithm-based fault tolerance technique for computing matrix operations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tao, D.L.; Foo, E.; Hartmann, C.R.P.
Year: 1991
Hierarchical reliability evaluation of large networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sharma, N.; Agrawal, D.P.
Year: 1991
Reliability analysis of a fault-tolerant multi-bus multiprocessor system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ghafoor, A.; Goel, A.L.; Chan, J.K.; Tsorng-Ming Chen; Sheikh, S.
Year: 1991
On a new approach for enhancing the fault coverage of conformance testing of protocols
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lombardi, F.; Shen, Y.-N.; Kari, H.
Year: 1991
A comparison of task scheduling strategies for multiprocessor systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dandamudi, S.
Year: 1991
BDG-torus union graph-an efficient algorithmically specialized parallel interconnect
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Suri, N.; Mendelson, A.; Pradhan, D.K.
Year: 1991
Three disjoint path paradigms in star networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dietzfelbinger, M.; Madhavapeddy, S.; Sudborough, I.H.
Year: 1991
Lower bounds and parallel algorithms for planar orthogonal grid drawings
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tamassia, R.; Tollis, I.G.; Vitter, J.S.
Year: 1991
Parallel algorithm and complexity results for telephone link simulation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ramachandran, V.; Li-Chung Wang
Year: 1991
New divide-and-conquer techniques for finding disjoint paths
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fang Wan
Year: 1991
Reliagram-a communication abstraction for distributed processing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yavatkar, R.; Dumasia, V.
Year: 1991
Pitfalls of Petri net transformation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tao, Z.P.; Goossens, M.
Year: 1991
Stabilizing Petri nets
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ghosh, S.
Year: 1991
Well-formed generalized task graphs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ghodsi, M.; Kant, K.
Year: 1991
An analytical model for predicting performance in a heterogeneous system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Schaar, M.; Efe, K.; Delcambre, L.
Year: 1991
Performance of multi-threaded execution in a shared-memory multiprocessor
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Alkalaj, L.
Year: 1991
Approximate MVA from Markov model of software client/server systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Petriu, D.C.; Woodside, C.M.
Year: 1991
A decentralized task scheduling algorithm and its performance modeling for computer networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ahmad, I.; Ghafoor, A.; Mehrotra, K.
Year: 1991
On multi-threaded list-processing and garbage collection
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kuechlin, W.W.; Nevin, N.J.
Year: 1991
Reliability oriented allocation of files on distributed systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pathak, R.M.; Kumar, A.; Gupta, Y.P.
Year: 1991
Memory allocation constructs to complement NUMA memory management
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Adema, R.L.; Schlatter Ellis, C.
Year: 1991
A shared-memory multiprocessor garbage collector and its evaluation for committed-choice logic programs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Imai, A.; Tick, E.
Year: 1991
Performance analysis of single-buffered multistage interconnection networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shuo-Hsien Hsiao; Chen, C.Y.R.
Year: 1991
Bounds on the performances of message routing heuristics
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bernhard, P.J.
Year: 1991
An algorithm for dynamic reconfiguration of a multicomputer network
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Garcia, J.M.; Duato, J.
Year: 1991
Deadlock-free adaptive routing algorithms for multicomputers: evaluation of a new algorithm
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Duato, J.
Year: 1991
Packet routing on square meshes with row and column buses
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Leung, J.Y.-T.; Shende, S.M.
Year: 1991
Broadcasting on incomplete hypercubes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jenn-Yang Tien; Ching-Tien Ho; Wei-Pang Yang
Year: 1991
A high speed systolic architecture for labeling connected components in an image
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ranganathan, N.; Mehrotra, R.; Subramaniam, S.
Year: 1991
A divide-and-conquer method of solving tridiagonal systems on hypercube massively parallel computers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Xiaojing Wang; Mou, Z.G.
Year: 1991
Propagating buffer: a new approach to deadlock freedom in store-and-forward networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lau, F.C.M.; Lau, S.W.
Year: 1991
Performance enhancement of multistage interconnection network with nonuniform traffic
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chevli, C.; Hee Yong Youn
Year: 1991
Broadcast ring sandwich networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yuanyuan Yang; Masson, G.M.
Year: 1991
Multistage bus network (MBN): an interconnection network for cache coherent multiprocessors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bhuyan, L.N.; Nanda, A.K.
Year: 1991
On a fast deterministic parallel approximate matching algorithm
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Haglin, D.J.
Year: 1991
Super critical tree numbering and optimal tree ranking are in NC
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:de la Torre, P.; Greenlaw, R.
Year: 1991
Object oriented Fortran for development of portable parallel programs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Reese, D.S.; Luke, E.
Year: 1991
Synthesis of parallel Ada code from a knowledge base of rules
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chun, R.; Lichota, R.; Perry, B.; Sabha, N.
Year: 1991
Multiprogramming on multiprocessors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Crovella, M.; Das, P.; Dubnicki, C.; LeBlanc, T.; Markatos, E.
Year: 1991
On mapping Bezier curve and surface subdivision algorithms into a hypercube with geometric adjacency constraint
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shi-Nine Yang; Ruen-Rone Lee
Year: 1991
A heuristic processor allocation strategy in hypercube systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yoon, S.Y.; Kang, O.; Yoon, H.; Maeng, S.R.; Cho, J.W.
Year: 1991
Adaptive routing in generalized hypercube architectures
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Young, S.D.; Yalamanchili, S.
Year: 1991
Very efficient cyclic shifts on hypercubes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pei Ouyang; Palem, K.V.
Year: 1991
ATARIC: an algebraic technique to analyse reconfiguration for fault tolerance in a hypercube
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rai, S.; Trahan, J.L.
Year: 1991
A parallel hybrid learning approach to artificial neural nets
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Heistermann, J.
Year: 1991
Circuit partitioning using parallel mean field annealing algorithms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bultan, T.; Aykanat, C.
Year: 1991
Asynchronous parallel search by the parallel genetic algorithm
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Muhlenbein, H.
Year: 1991
An evaluation of concurrent priority queue algorithms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Qin Huang; Weihl, W.E.
Year: 1991
Performance analysis of inclusion effects in multi-level multiprocessor caches
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nelson, B.; Archibald, J.; Flanagan, K.
Year: 1991
Performance evaluation of a local area network for real-time applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ciccarella, G.; Paris, G.; Tobia, I.; Valent, G.
Year: 1991
Local vs. global memory in the IBM RP3: experiments and performance modelling
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Brorsson, M.
Year: 1991
Performance evaluation of an efficient multiple copy update algorithm
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lakshman, T.V.; Ghosal, D.
Year: 1991
Embedding classical communication topologies in the OPAM architecture
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Barak, A.; Schenfeld, E.
Year: 1991
Distributed fault-tolerant routing on hypercubes algorithms and performance study
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Liang, C.T.; Bhattacharya, S.; Tsai, W.T.
Year: 1991
Fast fault-tolerant parallel communication for de Bruijn networks using information dispersal
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yuh-Dauh Lyuu
Year: 1991
Fault-tolerant routing with regularity restoration in Boolean n-cube interconnection networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ming-Yun Horng; Kleinrock, L.
Year: 1991
Optimal randomized algorithms for multipacket and cut through routing on the mesh
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rajasekaran, S.; Raghavachari, M.
Year: 1991
Off-line routing with small queues on a mesh-connected processor array
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Krizanc, D.; Narayanan, L.
Year: 1991
Duplicating keys to streamline sorting on a mesh-connected computer
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chlebus, B.S.
Year: 1991
Fault-tolerant meshes with minimal numbers of spares
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bruck, J.; Cypher, R.; Ching-Tien Ho
Year: 1991
Optimization of distributed communication in multiprotocol Tuple Space
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chiba, S.; Kato, K.; Masuda, T.
Year: 1991
Parallel algorithms for information dissemination by packets
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bagchi, A.; Schmeichel, E.F.; Hakimi, S.L.
Year: 1991
An efficient protocol for ordering broadcast messages in distributed systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Acharya, A.; Badrinath, B.R.
Year: 1991
The M-cache: a message-retrieving mechanism for multicomputer systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Draper, J.T.; Ghosh, J.; Athas, W.C.
Year: 1991
Parallel tree search on a SIMD machine
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Powley, C.; Ferguson, C.; Korf, R.E.
Year: 1991
Transputer-based architectures for associative image classification
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Anguita, D.; Parodi, G.; Ponta, D.; Zunino, R.
Year: 1991
Spectrum of choices: superpipelined, superscalar, or multiprocessor?
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dubey, P.K.; Adams, G.B., III; Flynn, M.J.
Year: 1991
Examining the effects of CU/PE overlap and synchronization overhead when using the complete sums approach to image correlation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Armstrong, J.B.; Nichols, M.A.; Jay Siegel, H.; Jamieson, L.H.
Year: 1991
DC Transpose: a method for reducing communication in divide-and-conquer algorithms on mesh-based computers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Goodman, M.; Mou, Z.G.
Year: 1991
Univariate polynomial division with a remainder by means of evaluation and interpolation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pan, V.; Landowne, E.; Sadikou, A.
Year: 1991
Efficient parallel independent subsets and matrix factorizations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Eberly, W.
Year: 1991
An NC algorithm for the general planar monotone circuit value problem
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Honghua Yang
Year: 1991
Efficient support of concurrent threads in a hybrid dataflow/von Neumann architecture
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hum, H.H.J.; Gao, G.R.
Year: 1991
Compile-time partitioning of a non-strict language into sequential threads
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hoch, J.E.; Davenport, D.M.; Grafe, V.G.; Steele, K.M.
Year: 1991
A comparison of structure accessing techniques in IdA and SISAL on the CSIRAC II dataflow multiprocessor
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Whiting, P.G.; Egan, G.K.
Year: 1991
Implementing a conventional language for a dataflow architecture
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wail, S.F.
Year: 1991
What is an effective schedule?
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lutz, D.R.; Jayasimha, D.N.
Year: 1991
Boolean theory of coteries
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ibaraki, T.; Kameda, T.
Year: 1991
Explicit dynamic exclusion algorithm
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Weidman, E.B.; Page, I.P.; Pervin, W.J.
Year: 1991
Upper and lower bounds for one-write multivalued regular registers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chaudhuri, S.; Kosa, M.J.; Welch, J.L.
Year: 1991
Analysis of the modified even networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Madabhushi, S.V.R.; Lakshmivarahan, S.; Dhall, S.K.
Year: 1991
On the tradeoff between node degree and communication channel width in shuffle-exchange networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Padmanabhan, K.
Year: 1991
Embedding complete binary trees in faulty hypercubes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wang, A.; Cypher, R.; Mayr, E.
Year: 1991
Embedding all binary trees in the hypercube
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wagner, A.S.
Year: 1991
A new approach to parallel functional programming
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Marino, G.A.; Succi, G.
Year: 1991
Parallel algorithms that solve problems by communication
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sharp, D.; Cripps, M.
Year: 1991
Compiling functional languages for SIMD architectures
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jouret, G.K.
Year: 1991


Advertisement