Design recovery for software testing of object-oriented programs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kung, C.H.; Gao, J.; Hsia, P.; Lin, J.; Yoyoshima, Y.
Year: 1993
Reverse engineering programs via dynamic analysis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ritsch, H.; Sneed, H.M.
Year: 1993
A framework for reverse engineering DoD legacy information systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Aiken, P.; Muntz, A.; Richards, R.
Year: 1993
Reverse engineering of user interfaces
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Merlo, E.; Girard, J.F.; Kontogiannis, K.; Panangaden, P.; De Mori, R.
Year: 1993
Contribution to a theory of database reverse engineering
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hainaut, J.-L.; Chandelon, M.; Tonneau, C.; Joris, M.
Year: 1993
An approach for reverse engineering of relational databases
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Premerlani, W.J.; Blaha, M.R.
Year: 1993
Challenges to the field of reverse engineering
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Selfridge, P.G.; Waters, R.C.; Chikofsky, E.J.
Year: 1993
Flexible control for program recognition
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wills, L.M.
Year: 1993
Separating parsing and analysis in reverse engineering tools
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Reubenstein, H.; Piazza, R.; Roberts, S.
Year: 1993
Reverse engineering Control Structure Diagrams
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cross, J.H., II
Year: 1993
Identification and extraction of 'domain independent' components in large programs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cutillo, F.; Fiore, P.; Visaggio, G.
Year: 1993
A reverse engineering method for identifying reusable abstract data types
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Canfora, G.; Cimitile, A.; Munro, M.
Year: 1993
Recovering reusable components from legacy systems by program segmentation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ning, J.Q.; Engberts, A.; Kozaczynski, W.
Year: 1993
Program and interface slicing for reverse engineering
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Beck, J.; Eichmann, D.
Year: 1993
The concept assignment problem in program understanding
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Biggerstaff, T.J.; Mitbander, B.G.; Webster, D.
Year: 1993
Integrating formal and structured methods in reverse-engineering
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lano, K.; Haughton, H.
Year: 1993
The representation problem in reverse engineering
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rugaber, S.; Clayton, R.
Year: 1993
Architectural Support For Translation Table Management In Large Address Space Machines
Publisher: IEEE Computer Society
Authors:J. Muck; J. Hays
Year: 1993
The Detection And Elimination Of Useless Misses In Multiprocessors
Publisher: IEEE Computer Society
Authors:M. Dubois; J. Skeppstedt; L. Ricciulli; K. Ramamurthy; P. Stenstrom
Year: 1993
Column-associative Caches: A Technique For Reducing The Miss Rate Of Direct-mapped Caches
Publisher: IEEE Computer Society
Authors:A. Agarwal; S.D. Pudar
Year: 1993
Hierarchical Performance Modeling With MACS: A Case Study Of The Convex C-240
Publisher: IEEE Computer Society
Authors:E.L. Boyd; E.S. Davidson
Year: 1993
EMOSY: an SNMP protocol object generator for the protocol independent MIB
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wu, S.F.; Mazumdar, S.; Brady, S.
Year: 1993
Dynamic reconfiguration of hub-based networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bisdikian, C.; Patel, B.; Schaffa, F.; Willebeek-LeMair, M.
Year: 1993
Relationships: implementing transparency in distributed management systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Putter, P.; Roos, J.D.
Year: 1993
Applying network management standards to system management; the case for the common agent
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sylor, M.; Tallman, O.
Year: 1993
A unified approach to interpreting measurement data in performance management applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Berry, R.F.; Hellerstein, J.L.
Year: 1993
An architecture for integrated system management of UNIX systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Marx, A.; Stiege, G.
Year: 1993
A generic management framework for distributed applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hong, J.W.; Bauer, M.A.
Year: 1993
Distributed systems management as a group activity
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dean, G.; Rodden, T.; Sommerville, I.; Hutchison, D.
Year: 1993
Data+understanding=management
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pell, A.; Goh, C.; Mellor, P.; Moreau, J.-J.; Towers, S.
Year: 1993
Fractal surface reconstruction for modeling natural terrain
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Arakawa, K.; Krotkov, E.
Year: 1993
Scene reconstruction and description: geometric primitive extraction from multiple viewed scattered data
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hebert, P.; Laurendeau, D.; Poussart, D.
Year: 1993
A differential method for computing local shape-from-texture for planar and curved surfaces
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Malik, J.; Rosenholtz, R.
Year: 1993
Toward template-based tolerancing from a Bayesian viewpoint
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Noble, A.; Mundy, J.
Year: 1993
A comparative study of stereo, vergence, and focus as depth cues for active vision
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Das, S.; Ahuja, N.
Year: 1993
Distributed Bayesian object recognition
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rigoutsos, I.; Hummel, R.
Year: 1993
Real-time motion stereo
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ens, J.; Li, Z.N.
Year: 1993
Efficient recognition of rotationally symmetric surfaces and straight homogeneous generalized cylinders
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Liu, J.; Mundy, J.; Forsyth, D.; Zisserman, A.; Rothwell, C.
Year: 1993
Incremental recognition of pedestrians from image sequences
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rohr, K.
Year: 1993
An active-vision system for recognition of pre-marked objects in robotic assembly workcells
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Safaee-Rad, R.; Tchoukanov, I.; He, X.; Benhabib, B.; Smith, K.C.
Year: 1993
Using stability of interpretation as verification for low level processing: An example from egomotion and optic flow
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bobick, A.F.
Year: 1993
Rapid recognition of freeform objects in noisy range images using tripod operators
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pipitone, F.; Adams, W.
Year: 1993
Higher-order statistics in object recognition
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Breuel, T.M.
Year: 1993
Using differential geometry in R/sup 4/ to extract typical features in 3D images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Monga, O.; Benayoun, S.
Year: 1993
An optimisation approach to improving the accuracy of the Hough transform: plane orientations from skew symmetry
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Palmer, P.L.; Petrou, M.; Kittler, J.
Year: 1993
Recovering planar surfaces by stereovision based on projective geometry
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chabbi, H.; Berger, M.-O.
Year: 1993
Estimation of the position and orientation of a planar surface using multiple beams
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ha, J.; Haralick, R.M.
Year: 1993
Iterative pose estimation using coplanar points
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Oberkampf, D.; DeMenthon, D.F.; Davis, L.S.
Year: 1993
A perception framework for inspection and reverse engineering
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sobh, T.M.; Dekhil, M.; Jaynes, C.; Henderson, T.C.
Year: 1993
Modeling and identifying 3-D color textures
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kondepudy, R.; Healey, G.
Year: 1993
Computing matched-epipolar projections
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hartley, R.; Gupta, R.
Year: 1993
Relative 3-D reconstruction using multiple uncalibrated images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mohr, R.; Veillon, F.; Quan, L.
Year: 1993
Object contour extraction using color and motion
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dubuisson, M.-P.; Jain, A.K.
Year: 1993
An automatic tube inspection system that finds cylinders in range data
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Grimson, W.E.L.; Lozano-Perez, T.; Noble, N.; White, S.J.
Year: 1993
Recursive motion and structure estimation with complete error characterization
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Soatto, S.; Perona, P.; Frezza, R.; Picci, G.
Year: 1993
Bayesian view class determination
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pathak, A.; Camps, O.I.
Year: 1993
Toward global surface reconstruction by purposive viewpoint adjustment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kutulakos, K.N.; Dyer, C.R.
Year: 1993
The recovery of non-rigid motion from stereo images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tiwari, S.; Bhattacharya, P.
Year: 1993
Roughness and shape of specular lobe surfaces using photometric sampling method
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kiuchi, T.; Ikeuchi, K.
Year: 1993
A transform for detection of multiscale image structure
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ahuja, N.
Year: 1993
A nonparametric algorithm for edge localization
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chou, K.-J.; Schunck, B.G.
Year: 1993
Hardware acceleration of divide-and-conquer paradigms: a case study
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Luk, W.; Lok, V.; Page, I.
Year: 1993
Text searching on Splash 2
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pryor, D.V.; Thistle, M.R.; Shirazi, N.
Year: 1993
Architectural tradeoffs in field-programmable-device-based computing systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chan, P.K.; Schlag, M.D.F.
Year: 1993
The CM-2X: a hybrid CM-2/Xilinx prototype
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cuccaro, S.A.; Reese, C.F.
Year: 1993
The Splash 2 software environment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Arnold, J.M.
Year: 1993
The AnyBoard: programming and enhancements
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Van den Bout, D.E.
Year: 1993
A field programmable accelerator for compiled-code applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lewis, D.M.; van Ierssel, M.H.; Wong, D.H.
Year: 1993
PRISM-II compiler and architecture
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wazlowski, M.; Agarwal, L.; Lee, T.; Smith, A.; Lam, E.; Athanas, P.; Silverman, H.; Ghosh, S.
Year: 1993
Fine grain parallelism on a MIMD machine using FPGAs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Raimbault, F.; Lavenier, D.; Rubini, S.; Pottier, B.
Year: 1993
Self-tuning systems software
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Barrera, J.S., III
Year: 1993
Software methods for system address tracing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chen, J.B.
Year: 1993
The case for run-time replaceable kernel modules
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Draves, R.
Year: 1993
Distributed shared object memory
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Guedes, P.; Castro, M.
Year: 1993
Adaptive real-time resource management supporting composition of independently authored time-critical services
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jones, M.B.
Year: 1993
Processor capacity reserves: an abstraction for managing processor usage
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mercer, C.W.; Savage, S.; Tokuda, H.
Year: 1993
eNVy: a NonVolatile main memory storage system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wu, M.; Zwaenepoel, W.
Year: 1993
Big memories on the desktop
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mogul, J.C.
Year: 1993
Transparent mistrust: OS support for cryptography-in-the-large
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Blaze, M.
Year: 1993
Handling mobile clients: a case for indirect interaction
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Badrinath, B.R.; Bakre, A.; Imielinski, T.; Marantz, R.
Year: 1993
Careful protocols or how to use highly reliable networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mosberger, D.; Peterson, L.L.
Year: 1993
Providing network video service to mobile clients
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mah, B.A.; Seshan, S.; Keeton, K.; Katz, R.H.; Ferrari, D.
Year: 1993
User interface issues in mobile computing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Landay, J.A.; Kaufmann, T.R.
Year: 1993
Operating system implications of solid-state mobile computers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Caceres, R.; Douglis, F.; Kai Li; Marsh, B.
Year: 1993
Command recording versus parametric and variational systems, an old/new third way of parametrizing CAD models by end users
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Girard, P.; Pierra, G.
Year: 1993
A CNC model well-suited for the requirements of CNC software construction environment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Moreau, M.
Year: 1993
After CAD: Automatic design: dream or reality?
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pruvot, F.C.
Year: 1993
Outline for discrete part manufacturing engineering
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Morel, G.; Lhoste, P.
Year: 1993
An advanced planning and control system for discrete manufacturing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chen, D.; Doumeingts, G.
Year: 1993
Effective implementation of SPC in wide area manufacturing systems (A case study)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Carter, D.W., Jr.
Year: 1993
Implantation oriented methodology in design control of flexible manufacturing systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Huvenoit, B.; Craye, E.; Bourey, J.P.
Year: 1993
A conceptual data scheme for integrated maintenance: A map to design maintainable AMS
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Koechlin, J.-B.; Champaloux, D.
Year: 1993
Distributed intelligent actuators and sensors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Galara, D.; Favennec, J.M.; Iung, B.; Morel, G.
Year: 1993
CALS: An essential strategy for paperless interchange of technical information for manufacturing-current and future standards
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Drouin, B.
Year: 1993
Definition of a methodology for mechanical conceptual design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wang, Y.-D.; Marty, C.
Year: 1993
A method for assembly system design including an integrated computerized design support
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lundstrom, M.; Bjorkman, M.; Johansson, C.
Year: 1993
A help for solving dilemmas encountered in flow analysis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Barth, M.; De Guio, R.; Mutel, B.
Year: 1993
Specification and validation of time constraints with the HMS machines model
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Philippe, C.; Khalfallah, A.; Simonot, F.
Year: 1993
Simulation modelling for accumulation conveyors in transient behaviour
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Demongodin, I.; Prunet, F.
Year: 1993
APRIS: Automatic Pattern Recognition and Inspection System
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mehenni, B.; Wahab, M.A.
Year: 1993
System for defect detection on material
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Thomas, T.; Cattoen, M.
Year: 1993
Automated visual inspection of galvanized and painted metallic strips
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Macaire, L.; Postaire, J.G.
Year: 1993
A case-oriented expert system for materials handling
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Li, H.; Dahan, M.
Year: 1993
Structured documentation systems for aircraft engine manufacturing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Huet, J.F.; Chavanon, J.P.
Year: 1993
Assembly oriented production planning
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:van der Drift, J.H.M.; Boneschanscher, N.
Year: 1993
Significant states and decision making for real time workshop scheduling
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Billaut, J.-C.; Roubellat, F.
Year: 1993
A new approach for process control
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Occello, M.; Thomas, M.C.
Year: 1993
Priority polling and dynamic time-window mechanisms in a multicycle Fieldbus
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Raja, P.; Ulloa, G.
Year: 1993
The Fieldbus, a worldwide challenge FIP, second generation technology
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Noury, P.
Year: 1993
Architecture of an MMS event manager
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Richner, T.; Castori, P.; Pleinevaux, P.
Year: 1993
Factory-level supervision based on real-time cellular object architectures
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Adamides, E.D.; Bonvin, D.
Year: 1993
Integration of heterogeneous software packages in the field of production management and production control systems: a view of generic problems and a conceptual approach
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Daihani, D.U.; Jaubert, B.; Kieffer, J.-P.
Year: 1993
The development of a methodology and computer based teaching tool for the cost justification of world class manufacturing techniques, tools and technologies
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Larsen, P.C.
Year: 1993
A new decentralized approach for FMS control
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ferrarini, A.; Couvreur, L.; Brun-Picard, D.
Year: 1993
Expression and verification of temporal constraints for real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Delfieu, D.; Sahraoui, A.E.K.
Year: 1993
Schedulability analysis of real-time systems using timing constraint Petri nets
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tsai, J.J.P.; Yang, S.J.H.; Chang, Y.-H.
Year: 1993
Data access protocols for integrated engineering environments
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hermanns, O.
Year: 1993
Integration of communication system by the information system study
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rondeau, E.; Divoux, T.; Lepage, F.
Year: 1993
The 'OLYMPIOS' model: an algebraic specification for modelling the information system of a manufacturing enterprise
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Haurat, A.; Piard, F.
Year: 1993
Object data base. AI and CAD-CAM: application to the process ascending generation (PAG) concept
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Barrabes, M.; Villeneuve, F.
Year: 1993
Object-oriented flexible and integrated manufacturing system modelling
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kaihara, T.; Besant, C.B.
Year: 1993
A generic activity manager for a control engineering workbench
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Devarenne, A.; Freau, A.
Year: 1993
Modelling and design of a production automated system using a decisional object oriented method 'MACSOOD'
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lafont, J.C.; Bounabat, B.; Chavand, F.
Year: 1993
Method for a design of distributed control systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Boudebous, D.; Derniame, J.C.
Year: 1993
Discrete events system modelling and software engineering: ACSY
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chapurlat, V.; Monneret, G.; Prunet, F.
Year: 1993
Implementing a business data warehouse approach in a semi-conductor manufacturing plant
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Labourdette, P.
Year: 1993
Integrated data management in a heterogeneous CIM environment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Schwartz, J.; Westfechtel, B.
Year: 1993
Database model for design data
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Savnik, I.; Mohoric, T.; Dolenc, T.; Novak, F.
Year: 1993
RDA integration in an open system architecture for CIM
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Messina, S.
Year: 1993
A model for schema evolution in temporal relational databases
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Scalas, M.R.; Cappelli, A.; De Castro, C.
Year: 1993
Synthetic intelligence-application to the automatic design of automobile transmission
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:van Griethuysen, J.-P.
Year: 1993
Feature recognition from 2D and 3D modellers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Trabelsi, A.; Carrard, M.
Year: 1993
Design by interpolation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Weiss, M.; Shpitalni, M.
Year: 1993
Accelerating browsing by automatically inferring a user's search goal
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Drummond, C.; Holte, R.; Ionescu, D.
Year: 1993
Inquire: predicate-based use and reuse
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Perry, D.; Popovich, S.
Year: 1993
The ARIES Simulation Component (ASC)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Benner, K.
Year: 1993
Towards supporting design phase synthesis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Smith, T.; Setliff, D.
Year: 1993
Diagrams for software synthesis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jullig, R.; Srinivas, Y.
Year: 1993
An experiment in applying knowledge-based software engineering technology
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bailor, P.; Young, F.; Kanzaki, K.
Year: 1993
Operations for evolving specifications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bhat, S.; Miriyala, K.
Year: 1993
Knowledge requirements for the automatic generation of project management reports
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Korelsky, T.; McCullough, D.; Rambow, O.
Year: 1993
Comparison and optimization of digital read channels using actual data
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Woods, D.D.
Year: 1993
Multispectral image compression for future LANDSAT remote sensing systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Vaughn, V.D.; Wilkinson, T.S.; Kalman, L.S.
Year: 1993
M-channel approximately linear phase IIR filters using allpass subfilters
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tuncer, T.E.; Nguyen, T.Q.
Year: 1993
Block transforms for cancellation of acoustic echoes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jingyun Li; Yip, P.C.
Year: 1993
An efficient non-iterative method for estimating the angles of arrival of known signals
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Halder, B.; Viberg, M.; Kailath, T.
Year: 1993
Maximum likelihood DOA and unknown colored noise estimation with asymptotic Cramer-Rao bounds
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hao Ye; DeGroat, R.D.
Year: 1993
A direction-finding algorithm for lens-based antenna systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Diggavi, S.N.; Shynk, J.J.; Laub, A.J.
Year: 1993
Effects of multispectral compression on machine exploitation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shen, S.S.; Lindgren, J.E.; Payton, P.M.
Year: 1993
ADPCM for advanced LANDSAT downlink applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Brower, B.V.; Couwenhoven, D.; Gandhi, B.; Smith, C.
Year: 1993
The design of N-band nonuniform-band maximally decimated filter banks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bo Liu; Bruton, L.T.
Year: 1993
Interpretation of cumulants for array processing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dogan, M.C.; Mendel, J.M.
Year: 1993
Optimal weights for autocorrelation sequences
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Adams, J.W.; Sucher, R.W.; Sullivan, J.L.; Gleeson, D.
Year: 1993
Open systems on the highways
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Powell, P.
Year: 1993
Pipelining of orthogonal double-rotation digital lattice filters
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jin-Gyun Chung; Parhi, K.K.
Year: 1993
Performance and throughput assessment of the Motorola DSP96002 for real-time FIR filter implementations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Richardson, A.O.; Miramontes, G.
Year: 1993
Adaptive frequency selective filters
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Halfin, M.; Coutu, G.; Sturim, D.; Stearns, S.D.
Year: 1993
System identification utilizing adaptive filter with parallel structure
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kinjo, S.; Ochi, H.; Yamada, Y.
Year: 1993
Gradient-descent adaptation of cascade-form adaptive filters
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Williamson, G.A.
Year: 1993
The performance of adaptive equalization for digital communication systems corrupted by interference
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:North, R.C.; Axford, R.A.; Zeidler, J.R.
Year: 1993
Combining tree-structured vector quantization with classification and regression trees
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gray, R.M.; Oehler, K.L.; Perlmutter, K.O.; Ohlsen, R.A.
Year: 1993
A comparison of methods for adaptively designing minimum phase FIR models
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rasmussen, J.L.; Etter, D.M.
Year: 1993
Blind deconvolution of discrete-valued signals
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ta-Hsin Li
Year: 1993
Detection and estimation of chirp signals in non-Gaussian noise
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shamsunder, S.; Giannakis, G.B.
Year: 1993
Jump-diffusion based sampling algorithm for target tracking and recognition
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Srivastava, A.; Teichman, R.S.; Miller, M.I.; Snyder, D.; O'Sullivan, J.A.
Year: 1993
On separating voiced-speech into its components
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kumaresan, R.; Ramalingam, C.S.
Year: 1993
Image correlation in nonlinear estimation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sworder, D.D.; Vojak, R.; Singer, P.A.
Year: 1993
MUSIC for localization of thunderstorm cells
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mosher, J.C.; Rynne, T.M.; Lewis, P.S.
Year: 1993
Optimal sequential scalar quantization of vectors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chang, J.Z.; Allebach, J.P.
Year: 1993
Performance evaluation of greedy search algorithms for image halftoning and compression
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Vander Kam, R.A.; Chou, P.A.; Gray, R.M.
Year: 1993
Perfect reconstructional multidimensional filter banks with time-varying basis functions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sodagar, I.; Nayebi, K.; Barnwell, T.P., III; Smith, M.J.T.
Year: 1993
On commutativity of multidimensional downsamplers and upsamplers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Khansari, M.R.K.; Tsuhan Chen
Year: 1993
Video to VGA and back
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Eldon, J.A.
Year: 1993
Numerical aspects of temperature profile reconstruction using acoustic tomography in RTP
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cho, Y.M.; Dankoski, P.; Pati, Y.C.; Xu, G.; Kailath, T.
Year: 1993
Blind estimation of multiple co-channel digital signals arriving at an antenna array
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Talwar, S.; Viberg, M.; Paulraj, A.
Year: 1993
Neural net equalization for a magnetic recording channel
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lee, P.
Year: 1993
CAD-based automated machinable feature extraction
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chia-Hwa Liu; Zen Chen
Year: 1993
The bootstrap mean filter for image restoration
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chi-Kin Lam
Year: 1993
Convergence properties of the multistage CMA adaptive beamformer
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shynk, J.J.; Gooch, R.P.
Year: 1993
Subspace-constrained SCORE algorithms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Biedka, T.E.
Year: 1993
Spur-reduced digital sinusoid generation using higher-order phase dithering
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Flanagan, M.J.; Zimmerman, G.A.
Year: 1993
Consistency management for software design information repository
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Oka, A.; Yamamoto, S.; Isoda, S.
Year: 1993
Modelling and storage allocation strategies for homogeneous parallel access storage devices in real time multimedia information processing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chen, C.Y.R.; Nwosu, K.C.; Berra, P.B.
Year: 1993
On driving and monitoring Smalltalk-80 applications using Unix spreadsheets
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Corriveau, J.-P.; Macready, B.
Year: 1993
An extended version model for artistic design applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Eaglestone, B.M.; Davies, G.L.; Ungvary, T.
Year: 1993
Towards CASE tool support for rigorous structured analysis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:France, R.B.; Docker, T.W.G.
Year: 1993
From code comprehension model to tool capabilities
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:von Mayrhauser, A.; Vans, A.M.
Year: 1993
Performance analysis of time-stamp ordering algorithms in database systems: the pure restarts case
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Eltoweissy, M.; Abdel-Wahab, H.; Abougabal, M.; El-Makky, N.; Fouad, S.
Year: 1993
An object-oriented data model specification
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chan, D.K.C.; Harper, D.J.; Trinder, P.
Year: 1993
Why functional languages really need parallelism
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bailes, P.A.; Ming Gong; Moran, A.
Year: 1993
A framework for incremental integration tools
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lefering, M.
Year: 1993
Why views do not provide logical data independence
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Boogaard, M.; de Graaff, J.; Veldwijk, R.
Year: 1993
A hierarchy of pattern recognition algorithms for the diagnosis of sucker rod pumped wells
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Abello, J.; Houang, A.; Russell, J.
Year: 1993
Discovery of geometry theorems: avoiding isomorphic situation descriptions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bagai, R.; Shanbhogue, V.; Zytkow, J.M.; Chou, S.C.
Year: 1993
Pattern matching for case analysis: a computational definition of closeness
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Delisle, S.; Copeck, T.; Szpakowicz, S.; Barker, K.
Year: 1993
The design of competitive algorithms via genetic algorithms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Estivill-Castro, V.
Year: 1993
B***-tree: a family of efficient data packaging multiway trees
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Toptsis, A.A.
Year: 1993
Parallel computing dominators on hypercube multiprocessors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Horng, S.J.
Year: 1993
Differential hashing functions: application to reachability graph generation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cousin, B.
Year: 1993
Performance of barrier synchronization methods in a multi-access network
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shun Yan Cheung; Sunderam, V.S.
Year: 1993
Object oriented specification of multi-layered protocols
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Watts, A.F.; Pitt, D.H.; Smythe, C.
Year: 1993
Potential benefits of file migration in a heterogeneous distributed file system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hurley, R.T.; Yeap, S.A.; Wong, J.W.; Black, J.P.
Year: 1993
Far field path planning for rotorcraft NOE missions in a mountainous region
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Huade Li; Suraweera, F.
Year: 1993
Efficient approximation algorithms for domatic partition and on-line coloring of circular arc graphs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Marathe, M.V.; Hunt, H.B., III; Ravi, S.S.
Year: 1993
Incorporating artificial neural networks into a rule-based financial trading system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tan, C.N.W.
Year: 1993
Distortion-invariant object recognition using adaptive resonance theory
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kadiran, S.; Patnaik, L.M.
Year: 1993
Acquiring design knowledge from design cases
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wang, W.; Gero, J.S.
Year: 1993
Solving four-colouring map problem using genetic algorithm
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gwee, B.H.; Lim, M.H.; Ho, J.S.
Year: 1993
An expert design assistant for hydraulic systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dunlop, G.R.; Rayudu, R.K.
Year: 1993
Diagnostic knowledge in manufacturing systems-a case of integrated circuits leads forming system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Narasipuram, M.M.
Year: 1993
Learning sequential and continuous control
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ryan, S.W.; Andreae, J.H.
Year: 1993
Industrial application of fuzzy-neuro process monitoring system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lim, M.H.
Year: 1993
Trading a NYSE-stock with a simple artificial neural network-based financial trading system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tan, C.N.W.
Year: 1993
A study of the parameters of a backpropagation stock price prediction model
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tan, C.N.W.; Wittig, G.E.
Year: 1993
A neural network model for sales forecasting
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jagielska, I.
Year: 1993
Incorporating risk curves into a reservoir management model for irrigation supply
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bouchart, F.J.-C.; Goulter, I.C.
Year: 1993
Using the KADS methodology: expert systems in farm management
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Todd, E.G.; Gray, D.I.; Kemp, E.A.; Lockhart, J.C.; Parker, W.J.
Year: 1993
An intelligent programming environment for multiprocessor systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Trichina, E.
Year: 1993
A two-tier approach to rule-based systems verification
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hicks, R.C.
Year: 1993
Expert object management for object-oriented systems and database
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Craske, N.
Year: 1993
Implementation of fuzzy clustering using FUZZY ENVIRON
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pai, G.A.V.
Year: 1993
GSN neural network in hardware
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Uebel, L.F.; Barone, D.
Year: 1993
Educating a neural network for image processing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pugmire, R.H.; Hodgson, R.M.; Chaplin, R.I.
Year: 1993
Extraction of high level sequential structure using recurrent neural networks and radial basis functions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Leerink, L.R.; Jabri, M.A.
Year: 1993
Catastrophic forgetting in neural networks: the role of rehearsal mechanisms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Robins, A.
Year: 1993
Performance of alternative media for LAN interconnection
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hassanein, H.S.; Friesen, V.J.; Wong, J.W.; Mark, J.W.
Year: 1993
Third-parties applied to traffic direction analysis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lu, C.S.; Jhing-Fa Wang; Yih-Lan Song
Year: 1993
Improvement of the transmission quality of Group III facsimile on IDR satellite links
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sherif, M.H.; Cuevas, E.; Liebert, T.; Dimolitsas, S.
Year: 1993
Video communication as a traffic management application
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Baig, M.A.; Purdy, J.E.
Year: 1993
MINT-a mobile Internet router
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Klemets, A.; Maguire, G.Q.; Reichert, F.; Smith, M.T.
Year: 1993
Design of a multicast packet switch architecture for ATM networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fliesser, R.J.; Rahman, M.H.; Mouftah, H.T.
Year: 1993
Introducing Internet to Egypt: experiences and challenges
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kamel, T.; Abdel-Baki, N.
Year: 1993
MultiG- distributed multimedia applications in high-speed and mobile networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pehrson, B.
Year: 1993
C2 auditing in the X Display Manager
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:DeMeester, J.
Year: 1993
The deductive filter approach to MLS database prototyping
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pernul, G.; Winiwarter, W.; Tjoa, A.M.
Year: 1993
Expressive power of the single-object typed access matrix model
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sandhu, R.S.; Ganta, S.
Year: 1993
Modeling constructs for describing a complex system-of-systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bodeau, D.J.; Chase, F.N.
Year: 1993
Heterogeneous workstation to STU-III prototype
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kayden, E.M.; Schaefer, L.J.
Year: 1993
MLS file service for network data sharing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Smith, R.E.
Year: 1993
Transparent cosignatures for electronic documents
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Russell, S.
Year: 1993
Security policy in a complex logistics procurement
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nash, M.J.; Kennett, R.J.
Year: 1993
Specification issues of secure systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sweezey, M.R.
Year: 1993
Operational requirements for multilevel security
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tretick, B.
Year: 1993
A methodology for the use of single level RDBMS software in a multi-level secured system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Aldrich, M.O.
Year: 1993
Integration of security services into the NORAD/USSPACECOM technical infrastructure: a case study
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bodeau, D.J.; Swarup, V.
Year: 1993
Specification approaches express different world hypotheses
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Marca, D.A.; McGowan, C.L.
Year: 1993
Reflective specification: applying a reflective language to formal specification
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Saeki, M.; Hiroi, T.; Ugai, T.
Year: 1993
Related specifications reuse
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wolff, P.
Year: 1993
An incremental approach to reachability analysis of distributed programs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kuo-Chung Tai; Koppol, P.V.
Year: 1993
A pragmatic basis for the formal development of distributed systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wood, K.R.
Year: 1993
Merlot: a tool for analysis of real-time specifications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bellettini, C.; Felder, M.; Pezze, M.
Year: 1993
Identical tasks and counter variables in an integer programming-based approach to verification
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Corbett, J.C.
Year: 1993
Towards extensible graphical formalisms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ghezzi, C.; Pezze, M.
Year: 1993
An active hypertext model for system requirements
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Potts, C.; Takahashi, K.
Year: 1993
A Petri-net-based approach to real-time program analysis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Buy, U.; Sloan, R.
Year: 1993
An empirical approach to software architectures
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dilip Soni; Nord, R.L.; Liang Hsu
Year: 1993
Fine-grain process modelling
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nuseibeh, B.; Finkelstein, A.; Kramer, J.
Year: 1993
Modular reasoning about open systems: a case study of distributed commit
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Das, R.; Fekete, A.
Year: 1993
Design and validation of a message-passing system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fuyau Lin
Year: 1993
Understanding partitions and the 'no partition' assumption
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ricciardi, A.; Schiper, A.; Birman, K.
Year: 1993
Schedulability analysis of multi-access protocols for distributed real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:di Gennaro, B.; Rivierre, N.
Year: 1993
Programming flexible distributed real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cardozo, E.; Magalhaes, M.; Adan, J.
Year: 1993
Specification of timed finite state machine in Z for distributed real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Noubir, G.; Stephens, D.; Raja, P.
Year: 1993
A functional approach for expressing temporal properties of inputs and outputs of real-time applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Raja, P.; Noubir, G.
Year: 1993
Tapping Hermes: a case study of tapping processes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:El-Kadi, A.; Rotenstreich, S.
Year: 1993
The System Architect's Assistant for design and construction of distributed systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kramer, J.; Magee, J.; Ng, K.; Sloman, M.
Year: 1993
Blocking probability and convergence analysis of an adaptive DQDB bandwidth balancing mechanism
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chow, R.; Ou, S.
Year: 1993
Using the object space: a distributed parallel make
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Polze, A.
Year: 1993
Making C++ a distributed programming language
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wu, Z.
Year: 1993
DEMOS: a distributed decision-making open support system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mendes, M.; Loyolla, W.; Madeira, E.
Year: 1993
Fair distribution of concerns in design and evaluation of fault-tolerant distributed computer systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kim, K.
Year: 1993
The changing face of technology in distributed systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Verissimo, P.; Vogels, W.
Year: 1993
Reflective architectures: requirements for future distributed environments
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bekker, C.; Putter, P.
Year: 1993
A fail-safe architecture of service control and management system for intelligent networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kwon, S.; Park, K.; Lee, K.; Hong, J.
Year: 1993
Replicated object management using group technology
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rodrigues, L.; Verissimo, P.
Year: 1993
An experimental multimedia information exchange system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mourad, M.
Year: 1993
Conception of a multimedia electronic mail based on standards
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gay, V.; Kervella, B.; Horlait, E.
Year: 1993
Constructing a distributed multimedia joint viewing and tele-operation service for heterogeneous workstation environments
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dermler, G.; Gutekunst, T.; Plattner, B.; Ostrowski, E.; Ruge, F.; Weber, M.
Year: 1993
Distributed computing with parallel networking
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Maly, K.; Zubair, M.; Kelbar, S.
Year: 1993
Advanced design concepts for open distributed systems development
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pires, L.F.; van Sinderen, M.; Vissers, C.A.
Year: 1993
OPERA: storage, programming and display of multimedia objects
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Moody, K.; Bacon, J.; Bates, J.; Lo, S.L.; Wu, Z.
Year: 1993
Load distribution on microkernels
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Milojicic, D.S.; Giese, P.; Zint, W.
Year: 1993
Kernel/2r-A software infrastructure for building distributed applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Holtkamp, B.; Weber, H.
Year: 1993
Massively parallel programming using object parallelism
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Joosen, W.; Bijnens, S.; Verbaeten, P.
Year: 1993
The Modula-2* environment for parallel programming
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hanssgen, S.U.; Heinz, E.A.; Lukowicz, P.; Philippsen, M.; Tichy, W.F.
Year: 1993
The DSPL programming environment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mitschele-Thiel, A.
Year: 1993
Overall design of Pandore II: an environment for high performance C programming on DMPCs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Andre, F.; Pazat, J.-L.
Year: 1993
Parallel symbolic processing-can it be done?
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sodan, A.
Year: 1993
Lockup of a client object cache and how to avoid it
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Day, M.
Year: 1993
Binding should be flexible in a distributed system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shapiro, M.
Year: 1993
Remote activation of atomic objects
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mock, M.
Year: 1993
Multiple and single address spaces: towards a middle ground
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sims, D.L.
Year: 1993
Efficient support for incremental customization of OS services
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Druschel, P.
Year: 1993
Implementing orthogonal persistence: a simple optimization using replicating collection
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nettles, S.; O'Toole, J.
Year: 1993
Sharing objects in a distributed system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Judge, A.; Cahill, V.
Year: 1993
The substrate object model and architecture
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Banerji, A.; Kulkarni, D.; Tracey, J.; Cohn, D.
Year: 1993
Employing finite automata for resource scheduling
Publisher: IEEE Computer Society
Authors:Thomas Müller
Year: 1993
GPMB—software pipelining branch-intensive loops
Publisher: IEEE Computer Society
Authors:Zhihong Tang; Gang Chen; Chihong Zhang; Yingwei Zhang; Bogong Su; Stanley Habib
Year: 1993
A microarchitectural performance evaluation of a 3.2 Gbyte/s microprocessor bus
Publisher: IEEE Computer Society
Authors:Tim Stanley; Michael Upton; Patrick Sherhart; Trevor Mudge; Richard Brown
Year: 1993
Two-ported cache alternatives for superscalar processors
Publisher: IEEE Computer Society
Authors:Andrew Wolfe; Rodney Boleyn
Year: 1993
A study on the number of memory ports in multiple instruction issue machines
Publisher: IEEE Computer Society
Authors:Soo-Mook Moon; Kemal Ebcioğlu
Year: 1993
A comparative performance evaluation of various state maintenance mechanisms
Publisher: IEEE Computer Society
Authors:Michael Butler; Yale Patt
Year: 1993
Dynamically scheduled VLIW processors
Publisher: IEEE Computer Society
Authors:B. Ramakrishna Rau
Year: 1993
Prophetic branches: a branch architecture for code compaction and efficient execution
Publisher: IEEE Computer Society
Authors:Apoorv Srivastava; Alvin M. Despain
Year: 1993
An evaluation of bottom-up and top-down thread generation techniques
Publisher: IEEE Computer Society
Authors:A. P. W. Böhm; W. A. Najjar; B. Shankar; L. Roh
Year: 1993
An analysis of dynamic scheduling techniques for symbolic applications
Publisher: IEEE Computer Society
Authors:Alessandra Costa; Alessandro De Gloria; Paolo Faraboschi; Mauro Olivieri
Year: 1993
Register renaming and dynamic speculation: an alternative approach
Publisher: IEEE Computer Society
Authors:Mayan Moudgill; Keshav Pingali; Stamatis Vassiliadis
Year: 1993
Instruction scheduling for the Motorola 88110
Publisher: IEEE Computer Society
Authors:Mark Smotherman; Shuchi Chawla; Stan Cox; Brian Malloy
Year: 1993
A VLIW architecture based on shifting register files
Publisher: IEEE Computer Society
Authors:H. Fatih Uğurdağ; Christos A. Papachristou
Year: 1993
An efficient method for contour tracking using active shape models
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Baumberg, A.M.; Hogg, D.C.
Year: 1994
Towards structure and motion estimation from dynamic silhouettes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Joshi, T.; Ahuja, N.; Ponce, J.
Year: 1994
Physically-based combinations of views: representing rigid and nonrigid motion
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sclaroff, S.; Pentland, A.P.
Year: 1994
Adaptive and deformable models based on simplex meshes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Delingette, H.
Year: 1994
Determining articulated motion from perspective views: a decomposition approach
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Holt, R.J.; Netravali, A.N.; Huang, T.S.; Qian, R.J.
Year: 1994
Analyzing gait with spatiotemporal surfaces
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Niyogi, S.A.; Adelson, E.H.
Year: 1994
Active motion-based segmentation of human body outlines
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kakadiaris, I.A.; Metaxas, D.; Bajcsy, R.
Year: 1994
DigitEyes: vision-based hand tracking for human-computer interaction
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rehg, J.M.; Kanade, T.
Year: 1994
A system for human motion matching between synthetic and real images based on a biomechanic graphical model
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Perales, F.J.; Torres, J.
Year: 1994
Constant-time triangulation problems on reconfigurable meshes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bokka, V.; Gurla, H.; Olariu, S.; Schwing, J.L.
Year: 1994
Access and alignment of arrays for a bidimensional parallel memory
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Verdier, C.; Boutillon, E.; Lafage, A.; Demeure, A.
Year: 1994
A parallel system for photo realistic artificial scene rendering
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Deprettere, E.F.; Hekstra, G.H.; Li-Shen Sheng; Jichun Bu; Boersma, G.
Year: 1994
Synthesis of a class of data format converters with specified delays
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jongwoo Bae; Prasanna, V.R.; Heonchul Park
Year: 1994
Optimal mapping of systolic algorithms by regular instruction shifts
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Clauss, P.; Perrin, G.-R.
Year: 1994
Verification of regular architectures using ALPHA: a case study
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bezan, C.; Quinton, P.
Year: 1994
Register transfer modeling and simulation for array processors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chou, W.H.; Kung, S.Y.
Year: 1994
Rapid prototyping with programmable control paths
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bajwa, R.S.; Nagendra, C.; Keltcher, P.; Irwin, M.J.
Year: 1994
Distributed control synthesis for data-dependent iterative algorithms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bongjin Jung; Yongjin Jeong; Burleson, W.P.
Year: 1994
Behavioral synthesis of high performance, low cost, and low power application specific processors for linear computations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Potkonjak, M.; Srivastava, M.B.
Year: 1994
Automated design of DSP array processor chips
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:McCanny, J.V.; Hu, Y.; Yan, M.
Year: 1994
A high performance IIR filter chip and its evaluation system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Walke, R.L.; Evans, R.A.; Woods, R.F.; Floyd, G.; Wood, K.W.
Year: 1994
OK, if these CAD tools are so great, why isn't my chip design on schedule?
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Weste, N.
Year: 1994
Emerging technologies for electronic design and test
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Agrawal, P.
Year: 1994
Grammar-based optimization of synthesis scenarios
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kuehlmann, A.; Van Ginneken, L.P.P.P.
Year: 1994
A superassociative tagged cache coherence directory
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lilja, D.J.; Ambalavanan, S.
Year: 1994
Distributed reconfiguration of fault tolerant VLSI multipipeline arrays with constant interstage path lengths
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Al-Asaad, H.; Vai, M.; Feldman, J.
Year: 1994
Delay-verifiability of combinational circuits based on primitive faults
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ke, W.; Menon, P.R.
Year: 1994
Tradeoffs in canonical sequential function representations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gupta, A.; Fisher, A.L.
Year: 1994
Capturing synchronization specifications for sequential compositions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Zhu, Z.; Johnson, S.D.
Year: 1994
Design of TSC code-disjoint inverter-free PLA's for separable unordered codes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Piestrak, S.J.
Year: 1994
On-chip TEC-QED ECC for ultra-large, single-chip memory systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Alzahrani, F.; Chen, T.
Year: 1994
PRISC software acceleration techniques
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Razdan, R.; Brace, K.; Smith, M.D.
Year: 1994
Efficient timing analysis for CMOS circuit considering data dependent delays
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sun, S.-Z.; Du, D.H.C.; Chen, H.-C.
Year: 1994
Short destabilizing paths in timing verification
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Llopis, R.P.; Xirgo, L.R.; Bordoll, J.C.
Year: 1994
Synchronization of wave-pipelined circuits
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Zhang, X.; Sridhar, R.
Year: 1994
PROTEUS: programmable hardware for telecommunication systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ohta, N.; Nakada, H.; Yamada, K.; Tsutsui, A.; Miyazaki, T.
Year: 1994
AS/400 PowerPC compatible semi-custom technology
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gruver, M.; Phan, N.; Aipperspach, T.; Hilker, S.; Bartley, J.
Year: 1994
The design and evaluation of an asynchronous microprocessor
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Furber, S.B.; Day, P.; Garside, J.D.; Paver, N.C.; Temple, S.; Woods, J.V.
Year: 1994
Automatic verification of refinement
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wing Sang Lee; Greenstreet, M.R.; Seger, C.-J.
Year: 1994
Continuations in hardware-software codesign
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tuna, M.E.; Johnson, S.D.; Burger, R.G.
Year: 1994
HW/SW codesign for embedded telecom systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Antoniazzi, S.; Balboni, A.; Fornaciari, W.; Sciuto, D.
Year: 1994
WRAPTure: a tool for evaluation and optimization of weights for weighted random pattern testing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Majumdar, A.
Year: 1994
Microarchitectural synthesis of performance-constrained, low-power VLSI designs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Goodby, L.; Orailoglu, A.; Chau, P.M.
Year: 1994
POWER2 architecture and performance
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hannon, E.L.; O'Connell, F.P.; Shieh, L.J.
Year: 1994
The effects of compiler options on application performance
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Stewart, K.E.; White, S.W.
Year: 1994
Architectural performance verification: PowerPC processors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Surya, S.; Bose, P.; Abraham, J.A.
Year: 1994
Path-delay fault simulation for a standard scan design methodology
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sungho Kang; Wai-On Law; Underwood, B.
Year: 1994
Timing verification and optimization for the PowerPC processor family
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mains, R.E.; Mosher, T.A.; van Ginneken, L.P.P.P.; Damiano, R.F.
Year: 1994
Two-phase logic design by hardware flowcharts
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Covey, K.; Murdock, S.; Shiple, T.
Year: 1994
Retiming for the global optimization of synchronous sequential circuit
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lejmi, S.; Kaminska, B.; Wagneur, E.
Year: 1994
The PowerPC 604 microprocessor design methodology
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Roth, C.; Lewelling, R.; Brodnax, T.
Year: 1994
PowerPC visual simulator: peeking under the hood of the PowerPC engine
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Armstead, M.; Cogswell, M.; Halverson, S.; Musta, T.
Year: 1994
Design of an embedded video compression system-a quantitative approach
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wilberg, J.; Camposano, R.; Westerholz, U.; Steinhausen, U.
Year: 1994
UCLOCK: automated design of high-performance unclocked state machines
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nowick, S.M.; Coates, B.
Year: 1994
Peephole optimization of asynchronous macromodule networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gopalakrishnan, G.C.; Kudva, P.N.; Brunvand, E.L.
Year: 1994
The structured logic CAD suite used on the DPS7000 system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nguyen, H.N.; Tual, J.P.; Ducousso, L.; Thill, M.; Vallet, P.
Year: 1994
Domain based testing: increasing test case reuse
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:von Mayrhauser, A.; Mraz, R.; Walls, J.; Ocken, P.
Year: 1994
Software metrics for object-oriented designs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hudli, R.V.; Hoskins, C.L.; Hudli, A.V.
Year: 1994
Complex operator synthesis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Quayle, M.; Chi-Lai Huang
Year: 1994
ASOP: arithmetic sum-of-products generator
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kumar, D.; Erickson, B.
Year: 1994
ZEPHCAD and FLORA: logic synthesis for control and datapath
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sato, H.; Yamazaki, M.; Fujita, M.
Year: 1994
A VLSI chip for template matching
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ranganathan, N.; Venugopal, S.
Year: 1994
Simulating uniform lossy lines by the time-domain modal analysis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:El-Zein, A.; Haque, M.; Chowdhury, S.
Year: 1994
A multi-schedule approach to high-level synthesis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dalkilic, M.E.; Pitchumani, V.
Year: 1994
Register estimation from behavioral specifications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sharma, A.; Jain, R.
Year: 1994
Optimal design of self-damped lossy transmission lines for multichip modules
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wang, J.S.-H.; Dai, W.W.-M.
Year: 1994
Differential routing of MCMs-CIF: the ideal bifurcation medium
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Loy, J.; Garg, A.; Krishnamoorthy, M.; McDonald, J.
Year: 1994
Improving CMOS speed at low supply voltages
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Horng-Dar Lin; Ran-Hong Yan; Yu, D.
Year: 1994
Transparent load sharing in distributed systems: decentralized design alternatives based on the Condor package
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chao-Ju Hou; Shin, K.G.; Tsukada, T.K.
Year: 1994
Exploiting program semantics for efficient instrumentation of distributed event recognitions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Spezialetti, M.; Gupta, R.
Year: 1994
Interaction of formal design systems in the development of a fault-tolerant clock synchronization circuit
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Miner, P.S.; Pullela, S.; Johnson, S.D.
Year: 1994
PLinda 2.0: a transactional/checkpointing approach to fault tolerant Linda
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Karpjoo Jeong; Shasha, D.
Year: 1994
Probabilistic validation using worst event driven and importance sampling simulation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bennacer, N.; Florin, G.; Natkin, S.
Year: 1994
An environment for importance sampling based on stochastic activity networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Obal, W.D., II; Sanders, W.H.
Year: 1994
Probabilistic internal clock synchronization
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cristian, F.; Fetzer, C.
Year: 1994
Verifying an intelligent structural control system: a case study
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Elseaidy, W.M.; Cleaveland, R.; Baugh, J.W., Jr.
Year: 1994
Scheduling adaptive tasks in real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kai Wang; Tein-Hsiang Lin
Year: 1994
Guaranteeing end-to-end timing constraints by calibrating intermediate processes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gerber, R.; Hong, S.; Saksena, M.
Year: 1994
The generalized railroad crossing: a case study in formal verification of real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Heitmeyer, C.; Lynch, N.
Year: 1994
An accurate worst case timing analysis technique for RISC processors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sung-Soo Lim; Young Hyun Bae; Gyu Tae Jang; Byung-Do Rhee; Sang Lyul Min; Chang Yun Park; Heonshik Shin; Kunsoo Park; Choug Sang Kim
Year: 1994
Busy-idle profiles and compact task graphs: compile-time support for interleaved and overlapped scheduling of real-time tasks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gupta, R.; Spezialetti, M.
Year: 1994
Multiple route real-time channels in packet-switched networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kai Chiu Kwan; Ramanathan, P.
Year: 1994
SLICC: a low latency interface for collective communications
Publisher: IEEE Computer Society
Authors:A.D. Knies; F.R. Barriuso; W.J. Harrod; G.B. Adams, III
Year: 1994
A scalable high-performance environment for fluid flow analysis on unstructured grids
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Banerjee, D.; Tysinger, T.; Smith, W.
Year: 1994
Building a high-performance collective communication library
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Barnett, M.; Gupta, S.; Payne, D.G.; Shuler, L.; van de Geijn, R.; Watts, J.
Year: 1994
The development and operation of Edinburgh Parallel Computing Centre's Summer Scholarship Programme
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wilson, G.V.; MacDonald, N.B.; Thornborrow, C.; Brough, C.M.
Year: 1994
Distributed network computing over local ATM networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mengjou Lin; Jehwei Hsieh; Du, D.H.C.; Thomas, J.P.; MacDonald, J.A.
Year: 1994
Design and implementation of multicast operations for ATM-based high performance computing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chengchang Huang; Kasten, E.P.; McKinley, P.K.
Year: 1994
Performance of high-speed network I/O subsystems: case study of a Fibre Channel network
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mengjou Lin; Jenwei Hsieh; Du, D.H.C.; MacDonald, J.A.
Year: 1994
Affinity scheduling of unbalanced workloads
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Subramaniam, S.; Eager, D.L.
Year: 1994
Meshes: the next generation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Christen, M.; Hardin, D.; Compton, J.; Zosel, M.
Year: 1994
Performance evaluation: integrating techniques and tools into environments and frameworks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rover, D.T.
Year: 1994
Adaptive data parallel methods for ecosystem monitoring
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Turner, C.J.; Turner, J.G.
Year: 1994
Nonnumeric search results on the EM-4 distributed-memory multiprocessor
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sohn, A.; Sato, M.; Sakai, S.; Kodama, Y.; Yamaguchi, Y.
Year: 1994
Adaptive load migration systems for PVM
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Casas, J.; Konuru, R.; Otto, S.W.; Prouty, R.; Walpole, J.
Year: 1994
NAS experiences with a prototype cluster of workstations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Castagnera, K.; Cheng, D.; Fatoohi, R.; Hook, E.; Kramer, B.; Manning, C.; Musch, J.; Niggley, C.; Saphir, W.; Sheppard, D.; Smith, M.; Stockdale, I.; Welch, S.; Williams, R.; Yip, D.
Year: 1994
Truly distribution-independent algorithms for the N-body problem
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Aluru, S.; Prabhu, G.M.; Gustafson, J.
Year: 1994
GRAPE 4: a one-Tflops special-purpose computer for astrophysical N-body problem
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Makino, J.; Taiji, M.; Ebisuzaki, T.; Sugimoto, D.
Year: 1994
Efficient and scalable cache coherence schemes for shared memory hypercube multiprocessors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kumar, A.; Mannava, P.K.; Bhuyan, L.N.
Year: 1994
Applications performance under OSF/1 AD and SUNMOS on Intel Paragon XP/S-15
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Saini, S.; Simon, H.D.
Year: 1994
Paging tradeoffs in distributed-shared-memory multiprocessors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Burger, D.C.; Hyder, R.S.; Miller, B.P.; Wood, D.A.
Year: 1994
Using high speed networks to enable distributed parallel image server systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tierney, B.L.; Johnston, W.E.; Herzog, H.; Hoo, G.; Guojun Jin; Lee, J.; Chen, L.T.; Rotem, D.
Year: 1994
Reducing the variance of point to point transfers in the IBM 9076 parallel computer
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mraz, R.
Year: 1994
Time and/or space sharing in a workstation cluster environment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Turner, S.W.; Ni, L.M.; Cheng, B.H.C.
Year: 1994
Dynamic file-access characteristics of a production parallel scientific workload
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kotz, D.; Nieuwejaar, N.
Year: 1994
An efficient abstract interface for multidimensional array I/O
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Seamons, K.E.; Winslett, M.
Year: 1994
A 65+ Gflop/s unstructured finite element simulation of chemically reacting flows on the Intel Paragon
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shadid, J.N.; Hutchinson, S.A.; Moffat, H.K.; Hennigan, G.L.; Hendrickson, B.; Leland, R.W.
Year: 1994
Improving the performance of DSM systems via compiler involvement
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mirchandaney, R.; Hiranandani, S.; Sethi, A.
Year: 1994
High performance access to radio astronomy data: a case study
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Karpovich, J.F.; French, J.C.; Grimshaw, A.S.
Year: 1994
Analyzing high energy physics data using databases: a case study
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Grossman, R.; Qin, Y.; Valsamis, D.; Xu, W.; Day, C.T.; Loken, S.; MacFarlane, J.F.; Quarrie, D.; May, E.; Lifka, D.; Malon, D.; Price, L.E.; Baden, A.; Cornell, L.; Leibold, P.; Liu, D.; Nixdorf, U.; Scipioni, B.; Song, T.
Year: 1994
Beta testing of EOSDIS Version 0 using query scenarios from interdisciplinary scientists
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Emmitt, G.D.; Wood, S.A.
Year: 1994
A framework for feature-based indexing for spatial databases
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yazdani, N.; Ozsoyoglu, M.; Ozsoyoglu, G.
Year: 1994
Spatial data reallocation based on multidimensional range queries. A contribution to data management for the earth sciences
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hinterberger, H.; Meier, K.A.; Gilgen, H.
Year: 1994
Physical schemas for large multidimensional arrays in scientific computing applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Seamons, K.E.; Winslett, M.
Year: 1994
Long-term database support for EXPRESS data
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Herbst, A.
Year: 1994
Computational proxies: modeling scientific applications in object databases
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cushing, J.B.; Maier, D.; Rao, M.; Abel, D.; Feller, D.; DeVaney, D.M.
Year: 1994
Bambi meets Godzilla: object databases for scientific computing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Maier, D.; Hansen, D.M.
Year: 1994
Metadata: a user's view
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bretherton, F.P.; Singley, P.T.
Year: 1994
A scientific database system for polymers and materials engineering needs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ozsoyoglu, G.; Ozsoyoglu, Z.M.; Vadaparty, K.
Year: 1994
Routine multiple imputation in statistical databases
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:van Buuren, S.; van Mulligen, E.M.; Brand, J.P.L.
Year: 1994
Statistical versus relational join dependencies
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Malvestuto, F.M.
Year: 1994
Supporting statistics in extensible databases: a case study
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Segev, A.; Chatterjee, A.
Year: 1994
A design methodology for databases with uncertain data
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chaudhry, N.A.; Moyne, J.R.; Rundensteiner, E.A.
Year: 1994
Information visualization: data infrastructure architectures
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Thomas, J.J.; Bohn, S.; Brown, J.C.; Pennock, K.; Schur, A.; Wise, J.A.
Year: 1994
Validation, verification and evaluation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Uselton, S.; Dorn, G.; Farhat, C.; Vannier, M.; Esbensen, K.; Globus, A.
Year: 1994
New techniques in the design of healthcare facilities
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Alameldin, T.; Shepley, M.
Year: 1994
A case study on visualization for boundary value problems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Domokos, G.; Paffenroth, R.
Year: 1994
Visualization and data analysis in space and atmospheric science
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mankofsky, A.; Szuszczewicz, E.P.; Blanchard, P.; Goodrich, C.; McNabb, D.; Kulkarni, R.; Kamins, D.
Year: 1994
Tokamak plasma turbulence visualization
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Parker, S.E.; Samtaney, R.
Year: 1994
An object oriented design for the visualization of multi-variable data objects
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Favre, J.M.; Hahn, J.
Year: 1994
Mix&Match: a construction kit for visualization
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pang, A.; Alper, N.
Year: 1994
Nonpolygonal isosurface rendering for large volume datasets
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Durkin, J.W.; Hughes, J.F.
Year: 1994
The design and implementation of the Cortex visualization system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Banerjee, D.; Morley, C.; Smith, W.
Year: 1994
Parallel performance measures for volume ray casting
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Silva, C.T.; Kaufman, A.E.
Year: 1994
Differential volume rendering: a fast volume visualization technique for flow animation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Han-Wei Shen; Johnson, C.R.
Year: 1994
A library for visualizing combinatorial structures
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Najork, M.A.; Brown, M.H.
Year: 1994
Vortex tubes in turbulent flows: identification, representation, reconstruction
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Banks, D.C.; Singer, B.A.
Year: 1994
Feature detection from vector quantities in a numerically simulated hypersonic flow field in combination with experimental flow visualization
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pagendarm, H.-G.; Walter, B.
Year: 1994
Visualizing flow with quaternion frames
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hanson, A.J.; Hui Ma
Year: 1994
An evaluation of reconstruction filters for volume rendering
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Marschner, S.R.; Lobb, R.J.
Year: 1994
Triangulation and display of rational parametric surfaces
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bajaj, C.L.; Royappa, A.
Year: 1994
Piecewise-linear surface approximation from noisy scattered samples
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Margaliot, M.; Gotsman, C.
Year: 1994
Implicit modeling of swept surfaces and volumes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Schroeder, W.J.; Lorensen, W.E.; Linthicum, S.
Year: 1994
VolVis: a diversified volume visualization system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Avila, R.; Taosong He; Lichan Hong; Kaufman, A.; Pfister, H.; Silva, C.; Sobierajski, L.; Wang, S.
Year: 1994
A distributed, parallel, interactive volume rendering package
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rowlan, J.S.; Lent, G.E.; Gokhale, N.; Bradshaw, S.
Year: 1994
Integrated control of distributed volume visualization through the World-Wide-Web
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ang, C.S.; Martin, D.C.; Doyle, M.D.
Year: 1994
A framework for reliability estimation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Woit, D.M.
Year: 1994
A process for software requirements safety analysis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mojdehbakhsh, R.; Subramanian, S.; Vishnuvajjala, R.; Tsai, W.-T.; Elliott, L.
Year: 1994
Assessment of a sampling method for measuring safety-critical software reliability
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bastani, F.; Pasquini, A.
Year: 1994
On the impact of software product dissimilarity on software quality models
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Khoshgoftaar, T.M.; Lanning, D.L.
Year: 1994
Testing applications using domain based testing and Sleuth
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:von Mayrhauser, A.; Walls, J.; Mraz, R.
Year: 1994
Testing synchronous critical software
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ouabdesselam, F.; Parissis, I.
Year: 1994
Identifying risk using ODC based growth models
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chillarege, R.; Biyani, S.
Year: 1994
Assessing the dynamic strength of software systems using interference analysis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wilder, J.O.
Year: 1994
Fault-tolerant reconfiguration of trees and rings in networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Arora, A.; Singhai, A.
Year: 1994
Multi-rate traffic shaping and end-to-end performance guarantees in ATM networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Saha, D.; Mukherjee, S.; Tripathi, S.K.
Year: 1994
Formalizations and algorithms for optimized parallel protocol implementation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Leue, S.; Oechslin, P.
Year: 1994
A design method for communications software evolution
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Okuyama, H.; Moriyasu, K.; Hirakawa, Y.
Year: 1994
Automated synthesis of protocol specifications with message collisions and verification of timeliness
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kakuda, Y.; Igarashi, H.; Kikuno, T.
Year: 1994
Symbolic simulation: theory and application to protocol modeling and validation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chadha, R.; Sebuktekin, I.
Year: 1994
Design, verification and implementation of an authentication protocol
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Woo, T.Y.C.; Lam, S.S.
Year: 1994
Automated generation of protocol test sequences from formal specifications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lundy, G.M.; Basaran, C.
Year: 1994
Stutter XOR strategies: a new class of multicopy ARQ strategies
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Aghadavoodi Jolfaei, M.
Year: 1994
Throughput efficiency of a link management procedure for LEO satellite systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ward, C.; Mitra, S.; Phillips, T.M.
Year: 1994
Software processes and business processes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Thomas, I.
Year: 1994
Business processes can be software too: some initial lessons learned
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Scacchi, W.
Year: 1994
Software processes are business processes too
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Henderson, P.
Year: 1994
Are software processes business processes too?
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Boyd, S.
Year: 1994
Are software processes business processes too?
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dowson, M.
Year: 1994
Engineering software design processes to guide process execution
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Xiping Song; Osterweil, L.J.
Year: 1994
Organizational congestion in large-scale software development
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ballman, K.; Votta, L.G.
Year: 1994
A case study in modeling a human-intensive, corporate software process
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Barghouti, N.S.; Rosenblum, D.S.
Year: 1994
Modeling method for management process and its application to CMM and IS0 9000-3
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Inoue, K.; Watanabe, A.; Iida, H.; Torii, K.
Year: 1994
The personal process in software engineering
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Humphrey, W.S.
Year: 1994
A reflective approach to process model customization, enactment and evolution
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jamart, P.; van Lamsweerde, A.
Year: 1994
Some observations on the hardware development process
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Allen, T.J.
Year: 1994
Transaction model of vehicle movement
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Takizawa, M.; Hamada, S.
Year: 1994
Tools cooperation in an integration environment by message-passing mechanism
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chi-Ming Chung; Ying-Hong Wang; Gwo-Ching Hsieh; Wei-Chuan Lin; Ying-Feng Kuo
Year: 1994
A Petri-net-based Modeling Assisted Software Environment (MASE) tool
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tan, G.Y.; Hura, G.S.
Year: 1994
Design and implementation of software system to support national development in Brazil
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sobrinho, F.G.
Year: 1994
Automatic variable classification for COBOL programs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chen, X.P.; Tsai, W.T.; Joiner, J.K.; Gandamaneni, H.; Sun, J.
Year: 1994
The need for measured data in computer system performance analysis or garbage in, garbage out
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Smith, A.J.
Year: 1994
A precedence graph model for real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Erbas, C.; Tanik, M.M.
Year: 1994
Design and analysis of a secure two-phase locking protocol
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Son, S.H.; David, R.
Year: 1994
Protecting your intellectual property
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fernandez, D.S.
Year: 1994
On analysis of secure information systems: a case study
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Qi Shi; McDermid, J.A.; Zhang, N.
Year: 1994
Software bus transceiver
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pham, T.Q.
Year: 1994
On porting sequential programs to parallel machines
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Raghavendra, C.S.; Bhansali, S.
Year: 1994
Reverse engineering tools supporting LDBR model for logical database design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jenn-Nan Chen; Pi-Te Chen; Yuan-Ching Wang
Year: 1994
Hierarchic shape description via singularity and multiscaling
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kunii, T.L.; Belyaev, A.G.; Anoshkina, E.V.; Takahashi, S.; Huang, R.; Okunev, O.G.
Year: 1994
Simulation based metrics prediction in software engineering
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bhargavan, V.; Ramamoorthy, C.V.
Year: 1994


Advertisement