Article

Free access

Experiments with an improved constrained expression toolset

Authors:

Jack C. WiledenAuthors Info & Claims

TAV4: Proceedings of the symposium on Testing, analysis, and verification

Pages 178 - 187

https://doi.org/10.1145/120807.120823

Published: 01 October 1991 Publication History

PDF eReader

References

[1]

G. S. Avrunin, U. A. Buy, J. C. Corbett, L. K. Dillon, and J. C. Wileden. Automated analysis of concurrent systems with the constrained expression toolset. IEEE Trans. Softw. Eng., to appear.

Digital Library

Google Scholar

[2]

G. S. Avrunin, J. C. Corbett, L. K. Dillon, and J. C. Wileden. Automated constrained expression analysis of real-time software. Submitted for publication. Available as T&hnicat Report 90-117, Department of Computer and Information Science, University of Massachusetts, Dec. 1990.

Google Scholar

[3]

G. S. Avrunin, L. K. Dillon, and J. C. Wileden. Experiments with automated constrained expression analysis of concurrent software systems. In R. A. Kemmerer, editor, Proceedings of the ACM SIGSOFT '89 Third Symposium on Software Testing, Analysis and Verification, pages 124-130, December 1989. Appeared as Software Engineering Notes, 14(8).

Digital Library

Google Scholar

[4]

G. S. Avrunin, L. K. Dillon, J. C. Wileden, and W. E. Riddle. Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems. IEEE Trans. Softw. Eng., 12(2):278-292, 1986.

Digital Library

Google Scholar

[5]

L. K. Dillon. Analysis of Distributed Systems Using Constrained Expressions. PhD thesis, University of Massachusetts, Amherst, 1984.

Digital Library

Google Scholar

[6]

L. K. Dillon. Overview of the constrained expression design language. Technical Report TRCS86-21, Department of Computer Science, University of California,Santa Barbara, October 1986.

Google Scholar

[7]

L. K. Dillon, G. S. Avrunin, and J. C. Wileden. Constrained expressions: Toward broad applicability of analysis methods for distributed software systems. ACM Trans. Prog. Lang. Syst., 10(3):374-402, July 1988.

Digital Library

Google Scholar

[8]

D. Helmbold and D. Luckham. Debugging Ada tasking programs. IEEE Software, 2(2):47-57, March 1985.

Digital Library

Google Scholar

[9]

G. M. Karam and R. J. Buhr. Starvation and critical race analyzers for Ada. IEEE Trans. Softw.Eng., 16(8) :829- 843,1990.

Digital Library

Google Scholar

[10]

M. A. Saunders. MINOS system manual. Technical Report SOL 77-31, Stanford University, Department of Operations Research, 1977.

Crossref

Google Scholar

[11]

K. C. Tai. A graphical notation for describing executions of concurrent Ada programs. Ada Letters, 6(1):94-103, January-February 1986.

Digital Library

Google Scholar

[12]

S. Tu, S. M. Shatz, and T. Murata. Theory and application of Petri net reduction for Ada-tasking deadlock analysis. Submitted for publication, 1990.

Digital Library

Google Scholar

[13]

M. Young, R. N. Taylor, K. Forester, and D. Brodbeck. Integrated concurrency analysis in a software development environment. In R. A. Kemmerer, editor, Proceedings of the ACMSIGSOFT'89 Third Symposium on Software Testing, Analysis and Verijcation, pages 200- 209, 1989. Appeared as Software Engineering Notes, 14(8).

Digital Library

Google Scholar

Cited By

View all

Avrunin GBuy UCorbett J(2005)Integer programming in the analysis of concurrent systemsComputer Aided Verification10.1007/3-540-55179-4_10(92-102)Online publication date: 29-May-2005
https://doi.org/10.1007/3-540-55179-4_10
Anger Rodriguez Young (1994)Combining static and dynamic analysis of concurrent programsProceedings International Conference on Software Maintenance ICSM-9410.1109/ICSM.1994.336786(89-98)Online publication date: 1994
https://doi.org/10.1109/ICSM.1994.336786
Duri SBuy UDevarapalli RShatz S(1993)Using state space reduction methods for deadlock analysis in Ada taskingACM SIGSOFT Software Engineering Notes10.1145/174146.15419718:3(51-60)Online publication date: 1-Jul-1993
https://dl.acm.org/doi/10.1145/174146.154197
Show More Cited By

Index Terms

Experiments with an improved constrained expression toolset

Recommendations

Integrated Expression-Invariant Face Recognition with Constrained Optical Flow
PSIVT '09: Proceedings of the 3rd Pacific Rim Symposium on Advances in Image and Video Technology

Face recognition is one of the most intensively studied topics in computer vision and pattern recognition. A constrained optical flow algorithm, which combines the advantages of the unambiguous correspondence of feature point labeling and the flexible ...
Expression-invariant face recognition with constrained optical flow warping

Face recognition is one of the most intensively studied topics in computer vision and pattern recognition, but few are focused on how to robustly recognize expressional faces with one single training sample per class. In this paper, we modify the ...
Expression-invariant face recognition by facial expression transformations

In this paper, we present a method of expression-invariant face recognition that transforms input face image with an arbitrary expression into its corresponding neutral facial expression image. When a new face image with an arbitrary expression is ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

TAV4: Proceedings of the symposium on Testing, analysis, and verification

October 1991

213 pages

ISBN:089791449X

DOI:10.1145/120807

Chairman:
William Howden
Univ. of California, San Diego

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1991

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

TAV-4

Sponsor:

SIGSOFT

TAV-4: Symposium on Testing Analysis and Verification

October 8 - 10, 1991

British Columbia, Victoria, Canada

Upcoming Conference

ISSTA '25

Sponsor:
sigsoft

34th ACM SIGSOFT International Symposium on Software Testing and Analysis

June 25 - 28, 2025

Trondheim , Norway

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
218
Total Downloads

Downloads (Last 12 months)25
Downloads (Last 6 weeks)5

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Avrunin GBuy UCorbett J(2005)Integer programming in the analysis of concurrent systemsComputer Aided Verification10.1007/3-540-55179-4_10(92-102)Online publication date: 29-May-2005
https://doi.org/10.1007/3-540-55179-4_10
Anger Rodriguez Young (1994)Combining static and dynamic analysis of concurrent programsProceedings International Conference on Software Maintenance ICSM-9410.1109/ICSM.1994.336786(89-98)Online publication date: 1994
https://doi.org/10.1109/ICSM.1994.336786
Duri SBuy UDevarapalli RShatz S(1993)Using state space reduction methods for deadlock analysis in Ada taskingACM SIGSOFT Software Engineering Notes10.1145/174146.15419718:3(51-60)Online publication date: 1-Jul-1993
https://dl.acm.org/doi/10.1145/174146.154197
Duri SBuy UDevarapalli RShatz S(1993)Using state space reduction methods for deadlock analysis in Ada taskingProceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis10.1145/154183.154197(51-60)Online publication date: 1-Aug-1993
https://dl.acm.org/doi/10.1145/154183.154197

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Integrated Expression-Invariant Face Recognition with Constrained Optical Flow

Expression-invariant face recognition with constrained optical flow warping

Expression-invariant face recognition by facial expression transformations