Research Output 1971 2020

1995

RTsynchronizer: Language support for real-time specifications in distributed systems

Ren, S. & Agha, G. A., Nov 1 1995, p. 50-59. 10 p.

Research output: Contribution to conferencePaper

Specifications
Computer programming languages
Scheduling

Scalable Optoelectronic ATM Networks: The iPOINT Fully Functional Testbed

Lockwood, J. W., Duan, H., Morikuni, J. J., Kang, S. M., Akkineni, S., Campbell, R. H., Lockwood, J. W., Duan, H., Morikuni, J. J., Kang, S. M., Akkineni, S. & Campbell, R. H., Jun 1995, In : Journal of Lightwave Technology. 13, 6, p. 1093-1103 11 p.

Research output: Contribution to journalArticle

asynchronous transfer mode
optical interconnects
pulsars
switches
prototypes

Software Dependability in the Tandem GUARDIAN System

Lee, I. & Iyer, R. K., May 1995, In : IEEE Transactions on Software Engineering. 21, 5, p. 455-467 13 p.

Research output: Contribution to journalArticle

Fault tolerance
Hardware
Defects
Lattice theory
Tomography

Speeding up irregular applications in shared-memory multiprocessors: memory binding and group prefetching

Zhang, Z. & Torrellas, J., Jan 1 1995, p. 188-199. 12 p.

Research output: Contribution to conferencePaper

Data storage equipment
Computer aided design
Hardware

Speeding up irregular applications in shared-memory multiprocessors: Memory binding and group prefetching

Zhang, Z. & Torrellas, J., 1995, Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA. p. 188-199 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data storage equipment
Computer aided design
Hardware

Static and Dynamic Nonlinear Loads and Structural Stability in Power Systems

Pai, M. A., Sauer, P. W. & Lesieutre, B. C., Nov 1995, In : Proceedings of the IEEE. 83, 11, p. 1562-1572 11 p.

Research output: Contribution to journalArticle

Induction motors

Structural stability in power systems - effect of load models

Pai, M. A., Sauer, P. W., Lesieutre, B. C. & Adapa, R., May 1995, In : IEEE Transactions on Power Systems. 10, 2, p. 609-615 7 p.

Research output: Contribution to journalArticle

System stability
Voltage control
Induction motors

Systematic approach to the control of a class of feedback linearizable systems

Alleyne, A., Dec 1 1995, p. 379-384. 6 p.

Research output: Contribution to conferencePaper

Feedback
Backstepping
Closed loop systems
Boundary layers
Stabilization

Systematic approach to the control of a class of feedback linearizable systems

Alleyne, A. G., 1995, ASME Dynamic Systems and Control Division. ASME, Vol. 57-1. p. 373-378 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Feedback
Backstepping
Closed loop systems
Boundary layers
Stabilization

The effect of workload on the performance and availability of voting algorithms

Qureshi, M. A. & Sanders, W. H., Jan 1 1995, Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 1995. IEEE Computer Society, p. 217-224 8 p. 378684. (Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Voting
Workload
Availability
Servers
Server

The Existence of Transverse Homoclinic Points in the Sitnikov Problem

Dankowicz, H. & Holmes, P., Mar 1 1995, In : Journal of Differential Equations. 116, 2, p. 468-483 16 p.

Research output: Contribution to journalArticle

Homoclinic Point
Horseshoe
Dynamical systems
Orbits
Transverse

The Importance of Prepass Code Scheduling for Superscalar and Superpipelined Processors

Chang, P. P., Lavery, D. M., Mahlke, S. A., Chen, W. Y. & Hwu, W. M. W., Mar 1995, In : IEEE Transactions on Computers. 44, 3, p. 353-370 18 p.

Research output: Contribution to journalArticle

Superscalar
Scheduling
Compiler
Hardware
Schedule

The QOS Broker

Nahrstedt, K. & Smith, J. M., Jan 1995, In : IEEE Multimedia. 2, 1, p. 53-67 15 p.

Research output: Contribution to journalArticle

Telecommunication services
UNIX
Computer architecture
Frequency allocation
Asynchronous transfer mode

The UltraSAN modeling environment

Sanders, W. H., Obal, W. D., Qureshi, M. A. & Widjanarko, F. K., Nov 1995, In : Performance Evaluation. 24, 1-2, p. 89-115 27 p.

Research output: Contribution to journalArticle

Model Specification
Modeling
Computer networks
Specifications
Graphical Methods

Three Architectural Models for Compiler-Controlled Speculative Execution

Chang, P. P., Warter, N. J., Mahlke, S. A., Chen, W. Y. & Hwu, W. M. W., Apr 1995, In : IEEE Transactions on Computers. 44, 4, p. 481-494 14 p.

Research output: Contribution to journalArticle

Speculative Execution
Hazard
Compiler
Hazards
Branch

Ultrasan version 3: Architecture, features, and implementation

Sanders, W. H., Obal, W. D., Qureshit, M. A. & Widjanarkot, F. K., Jan 1 1995, p. 327-338. 12 p.

Research output: Contribution to conferencePaper

Computer networks
Computer systems
Specifications

UltraSAN version 3 overview

Deavours, D. D., Obal, W. D., Qureshi, M. A., Sanders, W. H. & van Moorsel, A. P. A., Dec 1 1995, p. 216-217. 2 p.

Research output: Contribution to conferencePaper

Report generators
Performability
Software
Transient State
Model Specification

Unification of the Inverse Radon Transform in Odd and Even Dimensions

Liang, Z-P., Dec 1995, In : IEEE Transactions on Medical Imaging. 14, 4, p. 757-758 2 p.

Research output: Contribution to journalArticle

Radon
Mathematical transformations

Unrolling-based optimizations for modulo scheduling

Lavery, D. M. & Hwu, W. M. W., Dec 1 1995, In : Proceedings of the Annual International Symposium on Microarchitecture. p. 327-337 11 p.

Research output: Contribution to journalConference article

Scheduling
Throughput

Video signal processing and coding on data-parallel computers

Moulin, P., Ogielski, A. T., Lilienfeld, G. & Woods, J. W., Apr 1995, In : Digital Signal Processing: A Review Journal. 5, 2, p. 118-129 12 p.

Research output: Contribution to journalArticle

Video signal processing
Discrete cosine transforms
Motion estimation
Parallel processing systems
Computer hardware

μChoices: An object-oriented multimedia operating system

Campbell, R. H. & Tan, S. M., 1995, Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS. IEEE, p. 90-94 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data storage equipment
Copying
Computer operating systems
Asynchronous transfer mode
Authentication
1994

A classification approach using multi-layered neural networks

Piramuthu, S., Shaw, M. J. & Gentry, J. A., Jun 1994, In : Decision Support Systems. 11, 5, p. 509-525 17 p.

Research output: Contribution to journalArticle

Neural Networks (Computer)
Learning
Neural networks
Learning algorithms
Backpropagation

A methodology for programming scalable architectures

Panwar, R. & Agha, G., Sep 1994, In : Journal of Parallel and Distributed Computing. 22, 3, p. 479-487 9 p.

Research output: Contribution to journalArticle

Parallel algorithms
Parallel Algorithms
Programming
Methodology
Partition

Analysis of Optimistic Window-Based Synchronization.

Nicol, D. M., Duva, J. M., Reynolds, P. F. J. & Dickens, P. M., 1994, Ft, Belvoir: Defense Technical Information Center.

Research output: Book/ReportBook

An analytical approach to scheduling code for superscalar and VLIW architectures

Chen, S. K., Fuchs, W. & Hwu, W-M. W., Jan 1 1994, Proceedings of the 1994 International Conference on Parallel Processing, ICPP 1994. Institute of Electrical and Electronics Engineers Inc., 4115732. (Proceedings of the International Conference on Parallel Processing; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Very long instruction word architecture
Superscalar
Scheduling
Speedup
Subroutines

An Efficient Method for Dynamic Magnetic Resonance Imaging

Liang, Z-P. & Lauterbur, P. C., Dec 1994, In : IEEE Transactions on Medical Imaging. 13, 4, p. 677-686 10 p.

Research output: Contribution to journalArticle

Magnetic Resonance Imaging
Imaging techniques
Radio
Functional Neuroimaging
Fourier Analysis

Applications of invariance in computer vision: Second joint European – US workshop Ponta Delgada, Azores, Portugal October 9-14, 1993 proceedings

Mundy, J. L., Zisserman, A. & Forsyth, D., Jan 1 1994, Applications of Invariance in Computer Vision - 2nd Joint European - US Workshop, Proceedings. Mundy, J. L., Forsyth, D. & Zisserman, A. (eds.). Springer-Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 825 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Invariance
Computer Vision
Computer vision
Image coding
Splines
Experiments

A service kernel for multimedia endstations

Nahrstedt, K. & Smith, J., Jan 1 1994, Multimedia: Advanced Teleservices and High-Speed Communication Architectures - 2nd International Workshop, IWACA 1994, Proceedings. Steinmetz, R. (ed.). Springer-Verlag, p. 8-22 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 868 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Multimedia
kernel
Quality of service
Quality of Service
Specifications

Calling names on nameless networks

Schieber, B. & Snir, M., Aug 15 1994, In : Information and Computation. 113, 1, p. 80-101 22 p.

Research output: Contribution to journalArticle

Message Complexity
Error Probability
Upper bound
Rooted Trees
Terminate

Characterizing the impact of predicated execution on branch prediction

Mahlke, S. A., Hank, R. E., Bringmann, R. A., Gyllenhaal, J. C., Gallagher, D. M. & Hwu, W-M. W., Dec 7 1994, Professional Engineering, 7, 21, p. 217-227 11 p.

Research output: Contribution to specialist publicationArticle

Characterizing the impact of predicated execution on branch prediction

Mahlke, S. A., Hank, R. E., Bringmann, R. A., Gyllenhaal, J. C., Gallagher, D. M. & Hwu, W-M. W., Nov 30 1994, Proceedings of the 27th Annual International Symposium on Microarchitecture, MICRO 1994. IEEE Computer Society, p. 217-227 11 p. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. Part F129425).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Comparing the performance of the DASH and Cedar multiprocessors for scientific applications

Torrellas, J., Koufaty, D. & Padua, D., Jan 1 1994, In : Proceedings of the International Conference on Parallel Processing. 2, p. II304-II308 5727804.

Research output: Contribution to journalConference article

Multiprocessor
Compiler
Hardware
Cache Coherence
Data storage equipment

Compiling rewriting onto SIMD and MIMD/SIMD machines

Lincoln, P., Martí-Oliet, N., Meseguer, J. & Ricciulli, L., Jan 1 1994, PARLE 1994 – Parallel Architectures and Languages Europe - 6th International PARLE Conference, Proceedings. Maritsas, D., Theodoridis, S., Halatsis, C. & Philokyprou, G. (eds.). Springer-Verlag, p. 37-48 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 817 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Maude
Rewriting
Computer programming languages
Compilation
Object-oriented

Control of Asynchronous Sampled Data Systems

Voulgaris, P., Jul 1994, In : IEEE Transactions on Automatic Control. 39, 7, p. 1451-1455 5 p.

Research output: Contribution to journalArticle

Controllers
Parameterization

Data relocation and prefetching for programs with large data sets

Yamada, Y., Gyllenhall, J., Haab, G. & Hwu, W. M., Dec 7 1994, Professional Engineering, 7, 21, p. 118-127 10 p.

Research output: Contribution to specialist publicationArticle

Copying
Relocation
Hardware
Data storage equipment

Data relocation and prefetching for programs with large data sets

Yamada, Y., Gyllenhall, J., Haab, G. & Hwu, W-M. W., Nov 30 1994, Proceedings of the 27th Annual International Symposium on Microarchitecture, MICRO 1994. IEEE Computer Society, p. 118-127 10 p. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. Part F129425).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Copying
Relocation
Hardware
Data storage equipment

Decentralized sequential detection with sensors performing sequential tests

Veeravalli, V. V., Başar, T. & Vincent Poor, H., Dec 1 1994, In : Mathematics of Control, Signals, and Systems. 7, 4, p. 292-305 14 p.

Research output: Contribution to journalArticle

Sequential Detection
Sequential Test
Decentralized
Sequential Probability Ratio Test
Sensor

DEFINE: A distributed fault injection and monitoring environment

Kao, W. L. & Iyer, R. K., Jan 1 1994, Proceedings of IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems, FTPDS 1994. Pradhan, D. & Avresky, D. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 252-259 8 p. 494497. (Proceedings of IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems, FTPDS 1994).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hardware
Monitoring
Supervisory personnel
Sun
Clocks

Device-level transient fault modeling

Ries, G. L., Choi, G. S. & Iyer, R. K., Jan 1 1994, Digest of Papers - International Symposium on Fault-Tolerant Computing. Publ by IEEE, p. 86-94 9 p. (Digest of Papers - International Symposium on Fault-Tolerant Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Networks (circuits)
Flip flop circuits
Logic gates
SPICE

Dynamic memory disambiguation using the memory conflict buffer

Gallagher, D. M., Chen, W. Y., Mahlke, S. A., Gyllenhaal, J. C. & Hwu, W-M. W., Nov 1 1994, Proceedings of the 6th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 1994. Association for Computing Machinery, p. 183-193 11 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. Part F129531).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data storage equipment
Scheduling
Computer hardware
Repair

Dynamic Memory Disambiguation Using the Memory Conflict Buffer

Gallagher, D. M., Chen, W. Y., Mahlke, S. A., Gyllenhaal, J. C. & Hwu, W. M. W., Jan 11 1994, In : ACM SIGPLAN Notices. 29, 11, p. 183-193 11 p.

Research output: Contribution to journalArticle

Data storage equipment
Scheduling
Computer hardware
Repair

Efficient algorithm for the run-time parallelization of DOACROSS loops

Chen, D. K., Torrellas, J. & Yew, P. C., Dec 1 1994, In : Proceedings of the ACM/IEEE Supercomputing Conference. p. 518-527 10 p.

Research output: Contribution to journalConference article

Data storage equipment
Communication

Efficient bulk-loading of gridfiles

Leutenegger, S. T. & Nicol, D. M., 1994, Springfield, Va: [National Technical Information Service, distributor].

Research output: Book/ReportBook

Efficient Massively Parallel Simulation of Dynamic Channel Assignment Schemes for Wireless Cellular Communications

Wright, P. E., Greenberg, A. G., Nicol, D. M. & Lubachevsky, B. D., 1994, Ft, Belvoir: Defense Technical Information Center.

Research output: Book/ReportBook

El usufructo

García Villalobos, A. D., 1994, 2a ed. ed. Mexico: Porrúa.

Research output: Book/ReportBook