Walling R. Cyre

According to our database1, Walling R. Cyre
  • authored at least 24 papers between 1989 and 2002.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2002
Evolving Context-Free Grammars.
Proceedings of the 6th Joint Conference on Information Science, 2002

1999
A Rapid Modeling Tool for Virtual Prototypes.
Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), 1999

A CG-Based Behavior Extraction System.
Proceedings of the Conceptual Structures: Standards and Practices, 1999

Conceptual Modeling and Simulation.
Proceedings of the IEEE International Conference On Computer Design, 1999

1998
Performance and Interface Buffer Size Driven Behavioral Partitioning for Embedded Systems.
Proceedings of the Ninth IEEE International Workshop on Rapid System Prototyping (RSP 1998), 1998

Executing Conceptual Graphs.
Proceedings of the Conceptual Structures: Theory, 1998

Buffer size driven partitioning for HW/SW co-design.
Proceedings of the International Conference on Computer Design: VLSI in Computers and Processors, 1998

1997
Capture, Integration, and Analysis of Digital System Requirements with Conceptual Graphs.
IEEE Trans. Knowl. Data Eng., 1997

Generating Validation Feedback for Automatic Interpretation of Informal Requirements.
Formal Methods in System Design, 1997

Knowledge Extractor: A Tool for Extracting Knowledge from Text.
Proceedings of the Conceptual Structures: Fulfilling Peirce's Dream, 1997

1995
A requirements sublanguage for automated analysis.
Int. J. Intell. Syst., 1995

Automatic Integration of Digital System Requirements using Schemata.
Proceedings of the Conceptual Structures: Applications, 1995

1994
Conceptual Representation of Waveforms for Temporal Reasoning.
IEEE Trans. Computers, 1994

Visual Feedback for Validation of Informal Specifications.
Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994

Coreference Detection in Automatic Analysis of Specifications.
Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994

Knowledge Visualization from Conceptual Structures.
Proceedings of the Conceptual Structures: Current Practices, 1994

Generating VHDL models from natural language descriptions.
Proceedings of the Proceedings EURO-DAC'94, 1994

1993
Conceptual Modeling of Digital Systems From Informal Descriptions.
Proceedings of the MASCOTS '93, 1993

Acquiring Temporal Knowledge from Schedules.
Proceedings of the Conceptual Graphs for Knowledge Representation, 1993

Textual/Graphical Design Concept-Level Synthesis.
Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

1991
Integrating specification requirements for automated interpretation.
Proceedings of the Second International Workshop on Rapid System Prototyping, 1991

Mapping Design Knowledge from Multiple Representations.
Proceedings of the Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1991

1990
Rapid system prototyping from English specifications.
Proceedings of the First International Workshop on Rapid System Prototyping, 1990

1989
Toward Synthesis from English Descriptions.
Proceedings of the 26th ACM/IEEE Design Automation Conference, 1989


  Loading...