Thomas J. Marlowe

Nathan M. Mantell

Proceedings of the 15th International Conference on Software Engineering and Data Engineering (SEDE-2006), 2006

Interprocedural Dataflow Analysis in the Presence of Large Libraries.

[BibT_eX]

[DOI]

Atanas Rountev

Scott Kagan

Proceedings of the Compiler Construction, 15th International Conference, 2006

2005

Design patterns for database pedagogy: a proposal.

[BibT_eX]

[DOI]

Cyril S. Ku

James W. Benham

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

2004

Fairness-preserving Degradation in Overloaded Multimedia Conferencing Systems.

[BibT_eX]

Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, 2004

2001

Bounds on tardiness in scheduling of precedence-constrained unit real-time task systems.

[BibT_eX]

[DOI]

Comput. Electr. Eng., 2001

1999

Statically Safe Speculative Execution for Real-Time Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1999

A Development Environment for Complex Distributed Real-Time Applications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1999

1998

Formal Verification of Compiler Transformations for Speculative Real-Time Execution.

[BibT_eX]

[DOI]

Autom., 1998

A Framework for Dependability Driven Software Integration.

[BibT_eX]

[DOI]

Neeraj Suri

Sunundu Ghosh

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

1997

LSTF: A new scheduling policy for complex real-time tasks in multiple processor systems.

[BibT_eX]

[DOI]

Bo-Chao Cheng

Autom., 1997

Exact and Efficient Analysis of Schedulability in Fixed-Packet Networks: A Generic Approach.

[BibT_eX]

[DOI]

Sergey Gorinsky

Proceedings of the Proceedings IEEE INFOCOM '97, 1997

A Language Support Environment for Complex Distributed Real-Time Applications.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 1997

1996

A Description Language for Engineering of Complex Real-Time Systems.

[BibT_eX]

[DOI]

Phillip A. Laplante

Real Time Syst., 1996

Load Balanced Mapping of Distributed Objects to Minimize Network Communication.

[BibT_eX]

[DOI]

Jan Bosch

Mehmet Aksit

J. Parallel Distributed Comput., 1996

Classification and overview of research in real-time imaging.

[BibT_eX]

[DOI]

Purnendu Sinha

Sergey Gorinsky

Phillip A. Laplante

J. Electronic Imaging, 1996

Toward Compiler Optimization of Distributed Real-Time Processes.

[BibT_eX]

[DOI]

Grace Tsai

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

A task graph model for design and implementation of real-time systems.

[BibT_eX]

[DOI]

Ami Silberman

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

Architecture and Language support for Fault-tolerance in Complex Real-Time Systems.

[BibT_eX]

[DOI]

A. K. Ganesh

José Salinas

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

The Allocation and Scheduling Precedence and Timing-Constrained Tasks with communication Delays.

[BibT_eX]

[DOI]

Bo-Chao Cheng

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

1995

Lattice Frameworks for Multiscore and Bidirectional Data Flow Problems.

[BibT_eX]

[DOI]

Stephen P. Masticola

ACM Trans. Program. Lang. Syst., 1995

A Language for Complex Real-Time Systems.

[BibT_eX]

[DOI]

Comput. J., 1995

Using speculative execution for fault tolerance in a real-time system.

[BibT_eX]

[DOI]

Grace Tsai

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

A constraint function classification for complex systems development.

[BibT_eX]

[DOI]

Matthew S. Harelick

Purnendu Sinha

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

A Case for Better Language and Compiler Support for Real-Time Database Systems.

[BibT_eX]

[DOI]

Proceedings of the Active and Real-Time Database Systems (ARTDB-95), 1995

1994

Schedulability-Analyzable Exception Handling for Fault-Tolerant Real-Time Languages.

[BibT_eX]

[DOI]

Stephen P. Masticola

Lonnie R. Welch

Real Time Syst., 1994

Compiler Transformations for Speculative Execution in a Real-Time System.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

1993

Pointer-Induced Aliasing: A Clarification.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1993

1992

Polynomial-Time Transformations and Schedulability Analysis of Parallel Real-Time Programs with Restricted Resource Contention.

[BibT_eX]

[DOI]

Real Time Syst., 1992

Modeling Resource Contention Among Distributed Periodic Processes.

[BibT_eX]

[DOI]

Lonnie R. Welch

Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing, 1992

Composable Attribute Grammars: Support for Modularity in Translator Design and Implementation.

[BibT_eX]

[DOI]

Rodney Farrow

Daniel M. Yellin

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

Predictability and Techniques for Schedulability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Real Time Computing, 1992

Static Analysis: Hard Real Time is Hard, "Big Time!".

[BibT_eX]

[DOI]

Stephen P. Masticola

Proceedings of the Real Time Computing, 1992

1991

Experiences with a parallel algorithm for data flow analysis.

[BibT_eX]

[DOI]

Yong-Fong Lee

J. Supercomput., 1991

1990

Properties of Data Flow Frameworks.

[BibT_eX]

[DOI]

Acta Informatica, 1990

Performing data flow analysis in parallel.

[BibT_eX]

[DOI]

Yong-Fong Lee

Proceedings of the Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, 1990

An Efficient Hybrid Algorithm for Incremental Data Flow Analysis.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

1989

Least-cost partition algorithms.

[BibT_eX]

[DOI]

Marvin C. Paull

Discret. Appl. Math., 1989

1988

Conditions for incremental iteration: Examples and counterexamples.

[BibT_eX]

[DOI]

Marvin C. Paull

Sci. Comput. Program., 1988

1986

A Least-Cost Partition Algorithm.

[BibT_eX]