Research Output

1996

Inclusions and subtypes I: First-order case

Martí-Oliet, N. & Meseguer, J., Jun 1996, In : Journal of Logic and Computation. 6, 3, p. 409-438 30 p.

Research output: Contribution to journalArticle

Inclusions and subtypes II: Higher-order case

Martí-Oliet, N. & Meseguer, J., Aug 1996, In : Journal of Logic and Computation. 6, 4, p. 541-572 32 p.

Research output: Contribution to journalArticle

Insult, Aggression, and the Southern Culture of Honor: An "Experimental Ethnography"

Cohen, D., Bowdle, B. F., Nisbett, R. E. & Schwarz, N., May 1996, In : Journal of personality and social psychology. 70, 5, p. 945-960 16 p.

Research output: Contribution to journalArticle

Integrating the lot-sizing and sequencing decisions for scheduling a capacitated flow line

Sikora, R., Chhajed, D. & Shaw, M. J., Sep 1996, In : Computers and Industrial Engineering. 30, 4, p. 659-679 21 p.

Research output: Contribution to journalArticle

Intelligent query answering by knowledge discovery techniques

Han, J., Huang, Y., Cercone, N. & Fu, Y., Dec 1 1996, In : IEEE Transactions on Knowledge and Data Engineering. 8, 3, p. 373-390 18 p.

Research output: Contribution to journalArticle

Java bytecode to native code translation: The Caffeine prototype and preliminary results

Hsieh, C. H. A., Gyllenhaal, J. C. & Hwu, W-M. W., 1996, In : Proceedings of the Annual International Symposium on Microarchitecture. p. 90-97 8 p.

Research output: Contribution to journalArticle

Law, Social Policy, and Violence: The Impact of Regional Cultures

Cohen, D., May 1996, In : Journal of personality and social psychology. 70, 5, p. 961-978 18 p.

Research output: Contribution to journalArticle

Local models of spatio-temporally complex fields

Dankowicz, H., Holmes, P., Berkooz, G. & Elezgaray, J., Jan 1 1996, In : Physica D: Nonlinear Phenomena. 90, 4, p. 387-407 21 p.

Research output: Contribution to journalArticle

Lower bounds on power-dissipation for DSP algorithms

Shanbhag, N. R., 1996, International Symposium on Low Power Electronics and Design, Digest of Technical Papers. IEEE, p. 43-48 6 p.

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

Lower bounds on power-dissipation for DSP algorithms

Shanbhag, N. R., Dec 1 1996, p. 43-48. 6 p.

Research output: Contribution to conferencePaper

Low-power adaptive filter architectures via strength reduction

Goel, M. & Shanbhag, N. R., 1996, IEEE Symposium on Low Power Electronics. Anon (ed.). IEEE, p. 217-220 4 p.

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

Low-power adaptive filter architectures via strength reduction

Goel, M. & Shanbhag, N. R., 1996, International Symposium on Low Power Electronics and Design, Digest of Technical Papers. IEEE, p. 217-220 4 p.

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

Methods to compute probabilistic measures of robustness for structural systems

Field, R. V., Voulgaris, P. G. & Bergman, L. A., Nov 1996, In : JVC/Journal of Vibration and Control. 2, 4, p. 447-463 17 p.

Research output: Contribution to journalArticle

Modal filter based on-line monitoring of uncertain structural systems

Johnson, E. A., Bergman, L., Voulgaris, P. G. & Freudinger, L. C., Jan 1 1996, p. 156-159. 4 p.

Research output: Contribution to conferencePaper

Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition

Agha, G. A., Jan 1 1996, Application and Theory of Petri Nets 1996 - 17th International Conference, Proceedings. Reisig, W. & Billington, J. (eds.). Springer-Verlag, p. 1-10 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1091).

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

Model reduction of multidimensional and uncertain systems

Beck, C. L., Doyle, J. & Glover, K., Dec 1 1996, In : IEEE Transactions on Automatic Control. 41, 10, p. 1466-1477 12 p.

Research output: Contribution to journalArticle

Modulo scheduling of loops in control-intensive non-numeric programs

Lavery, D. M. & Hwu, W-M. W., Dec 1 1996, In : Proceedings of the Annual International Symposium on Microarchitecture. p. 126-137 12 p.

Research output: Contribution to journalConference article

MORSE: An architecture for 3D object recognition based on invariants

Mundy, J., Curwen, R., Liu, J., Rothwell, C., Zissermanl, A. & Forsyth, D., Jan 1 1996, Recent Developments in Computer Vision - 2nd Asian Conference on Computer Vision, ACCV 1995, Invited Session Papers. Li, S. Z., Mital, D. P., Teoh, E. K. & Wan, H. (eds.). Springer-Verlag Berlin Heidelberg, p. 425-434 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1035).

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

New algorithm for computing sparse solutions to linear inverse problems

Harikumar, G. & Bresler, Y., Jan 1 1996, In : ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 3, p. 1331-1334 4 p.

Research output: Contribution to journalConference article

New algorithms for admission control and scheduling to support multimedia feedback remote control applications

Nahrstedt, K. & Smith, J., Jan 1 1996, p. 532-539. 8 p.

Research output: Contribution to conferencePaper

Nonlinear force control of an electro-hydraulic actuator

Alleyne, A., Dec 1 1996, Proceedings of the Japan/USA Symposium on Flexible Automation. Stelson, K. & Oba, F. (eds.). p. 193-200 8 p. (Proceedings of the Japan/USA Symposium on Flexible Automation; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingChapter

Numerical performability evaluation of a group multicast protocol

Malhis, L. M., Sanders, W. H. & Schlichting, R. D., Dec 1 1996, In : Distributed Systems Engineering. 3, 1, p. 39-52 14 p.

Research output: Contribution to journalArticle

On asymptotically efficient solutions for a class of supervisory control problems

Sreenivas, R. S., Dec 1 1996, In : IEEE Transactions on Automatic Control. 41, 12, p. 1736-1750 15 p.

Research output: Contribution to journalArticle

On supervisory policies that enforce liveness in discrete event dynamic systems modeled by partially controlled Petri nets

Sreenivas, R. S., Dec 1 1996, Proceedings of the IEEE Conference on Decision and Control. Anon (ed.). p. 4439-4444 6 p. (Proceedings of the IEEE Conference on Decision and Control; vol. 4).

Research output: Chapter in Book/Report/Conference proceedingChapter

On the Use of Asymptotics in Detection and Estimation

Garth, M. & Bresler, Y., Dec 1 1996, In : IEEE Transactions on Signal Processing. 44, 5, p. 1304-1307 4 p.

Research output: Contribution to journalArticle

Optimal and robust controllers for periodic and multirate systems

Voulgaris, P. G. & Dahleh, M. A., 1996, Control and Dynamic Systems. C ed. Academic Press Inc., p. 1-57 57 p. (Control and Dynamic Systems; vol. 74, no. C).

Research output: Chapter in Book/Report/Conference proceedingChapter

Optimal ℓ to ℓ estimation for periodic systems

Voulgaris, P. G., Dec 1 1996, In : IEEE Transactions on Automatic Control. 41, 9, p. 1392-1396 5 p.

Research output: Contribution to journalArticle

Optimization of machine descriptions for efficient use

Gyllenhaal, J. C., Hwu, W. M. W. & Rau, B. R., Dec 1 1996, In : Proceedings of the Annual International Symposium on Microarchitecture. p. 349-358 10 p.

Research output: Contribution to journalConference article

Optimizing primary data caches for parallel scientific applications: the pool buffer approach

Yang, L. & Torrellas, J., 1996, Proceedings of the International Conference on Supercomputing. ACM, p. 141-148 8 p.

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

Optimizing robot motion strategies for assembly with stochastic models of the assembly process

Sharma, R., LaValle, S. M. & Hutchinson, S., Dec 1 1996, In : IEEE Transactions on Robotics and Automation. 12, 2, p. 160-174 15 p.

Research output: Contribution to journalArticle

Overview of UltraSAN

Obal, W. D., Qureshi, M. A., Deavours, D. D. & Sanders, W. H., 1996, Proceedings -IEEE International Computer Performance and Dependability Symposium, IPDS. IEEE, p. 63 1 p.

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

Parameter identification for uncertain linear systems with partial state measurements under an H criterion

Pan, Z. & Başar, T., Dec 1 1996, In : IEEE Transactions on Automatic Control. 41, 9, p. 1295-1311 17 p.

Research output: Contribution to journalArticle

Performing Out-of-Core FFTS on Parallel Disk Systems.

Cormen, T. H. & Nicol, D. M., 1996, Ft, Belvoir: Defense Technical Information Center.

Research output: Book/ReportBook

Pipelined adaptive iir filter architectures using scattered and relaxed look-ahead transformations

Shanbhag, N. R. & Im, G. H., Dec 1 1996, In : IEEE Transactions on Signal Processing. 44, 7, p. 1841-1847 7 p.

Research output: Contribution to journalArticle

Probabilistic stability robustness of structural systems

Field, R. V., Voulgaris, P. G. & Bergman, L. A., 1996, In : Journal of Engineering Mechanics. 122, 10, p. 1012-1021 10 p.

Research output: Contribution to journalArticle

Process versus unfolding semantics for Place/Transition Petri nets

Meseguer, J., Montanari, U. & Sassone, V., Jan 8 1996, In : Theoretical Computer Science. 153, 1-2, p. 171-210 40 p.

Research output: Contribution to journalArticle

Recognizing algebraic surfaces from their outlines

Forsyth, D. A., Jan 1 1996, In : International Journal of Computer Vision. 18, 1, p. 21-40 20 p.

Research output: Contribution to journalArticle

Relationships between voltage and angle stability of power systems

Vournas, C. D., Sauer, P. W. & Pai, M. A., Nov 1996, In : International Journal of Electrical Power and Energy Systems. 18, 8, p. 493-500 8 p.

Research output: Contribution to journalArticle

Revision of QoS Guarantees at the application-network interface

Nahrstedt, K. & Smith, J. M., 1996, Philadelphia: Distributed Systems Laboratory.

Research output: Book/ReportBook

RTCAST: Lightweight multicast for real-time process groups

Abdelzaher, T., Shaikh, A., Jahanian, F. & Shin, K., Dec 1 1996, In : Real-Time Technology and Applications - Proceedings. p. 250-259 10 p., 509542.

Research output: Contribution to journalConference article

Scheduling and buffer management for soft-real-time VBR traffic in packet-switched networks

Philp, I. R., Nahrstedt, K. & Liu, J. W. S., Dec 1 1996, In : Conference on Local Computer Networks. p. 143-152 10 p.

Research output: Contribution to journalConference article

Shared memory consistency models: A tutorial

Adve, S. V. & Gharachorloo, K., Dec 1 1996, Computer, 29, 12, p. 66-76 11 p.

Research output: Contribution to specialist publicationArticle

Signal estimation using adapted tree-structured bases and the MDL principle

Moulin, P., Jan 1 1996, p. 141-143. 3 p.

Research output: Contribution to conferencePaper

Some clarifications in the transient energy function method

Pai, M. A., Laufenberg, M. & Sauer, P. W., Jan 1 1996, In : International Journal of Electrical Power and Energy Systems. 18, 1, p. 65-72 8 p.

Research output: Contribution to journalArticle