Walling R. Cyre

发表

Visual feedback for validation of informal specifications

Ani Thakar, Walling R. Cyre, 1994, Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.

Capture, Integration, and Analysis of Digital System Requirements with Conceptual Graphs

Walling R. Cyre, W. Cyre, 1997, IEEE Trans. Knowl. Data Eng..

Automatic Integration of Digital System Requirements using Schemata

Walling R. Cyre, R. Y. Kamath, 1995, ICCS.

Coreference detection in automatic analysis of specifications

Walling R. Cyre, S. Shankaranarayanan, 1994, Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.

Automating System Design with Conceptual Models

Walling R. Cyre, W. Cyre, 1997 .

Textual/Graphical Design Concept-Level Synthesis

Walling R. Cyre, 1993, CHDL.

Rapid system prototyping from English specifications

Walling R. Cyre, 1990, [1990 Proceedings] The First International Workshop on Rapid System Prototying.

A rapid modeling tool for virtual prototypes

Andreas Gunawan, Walling R. Cyre, Jeffrey Hess, 1999, Proceedings Tenth IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype (Cat. No.PR00246).

A CG-Based Behavior Extraction System

Walling R. Cyre, Jeffrey Hess, 1999, ICCS.

Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices

William M. Tepfenhart, Walling R. Cyre, 1999 .

Conceptual Structures: Standards and Practices

William M. Tepfenhart, Walling R. Cyre, W. Tepfenhart, 1999, Lecture Notes in Computer Science.

Extracting design models from natural language descriptions

Walling R. Cyre, 1997 .

Generating Simulation Models from Natural Language Specifications

J. R. Armstrong, Walling R. Cyre, Alexander J. Honcharik, 1995, Simul..

Conceptual Modeling of Digital Systems From Informal Descriptions

Robin Greenwood, Walling R. Cyre, 1993, MASCOTS.

An adaptive genetic algorithm

Eric Kee, Walling R. Cyre, Sarah Airey, 2001 .

Integrating specification requirements for automated interpretation

Walling R. Cyre, W. Cyre, 1991, [1991 Proceedings] The Second International Workshop on Rapid System Prototyping.

Buffer size driven partitioning for HW/SW co-design

Sadiq M. Sait, Walling R. Cyre, Ta-Cheng Lin, 1998, Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273).

Conceptual structures : standards and practices : 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999 : proceedings

William M. Tepfenhart, Walling R. Cyre, 1999 .

Acquiring Temporal Knowledge from Schedules

Walling R. Cyre, W. Cyre, 1993, ICCS.

Performance and interface buffer size driven behavioral partitioning for embedded systems

Sadiq M. Sait, Walling R. Cyre, S. M. Sait, 1998, Proceedings. Ninth International Workshop on Rapid System Prototyping (Cat. No.98TB100237).

Toward Synthesis from English Descriptions

Walling R. Cyre, W. Cyre, 1989, 26th ACM/IEEE Design Automation Conference.

Generating Validation Feedback for Automatic Interpretation of Informal Requirements

Ani Thakar, Walling R. Cyre, 1997, Formal Methods Syst. Des..

Conceptual Representation of Waveforms for Temporal Reasoning

Walling R. Cyre, W. Cyre, 1994, IEEE Trans. Computers.