μCRL: A Computer Science based approach for specification and verification of hardware circuits

2008 ◽  
Author(s):  
K.L. Man
Keyword(s):  
Computer Science ◽  
Specification And Verification

scholarly journals On contour representation of two dimensional patterns

2016 ◽  
Vol 32 (1) ◽  
pp. 37-47
Author(s):  
I. T. BANU-DEMERGIAN ◽  
◽  
G. STEFANESCU ◽  
Keyword(s):  
Image Processing ◽  
Computer Science ◽  
Software Tools ◽  
Efficient Algorithms ◽  
Software Systems ◽  
Two Dimensional ◽  
Formal Representation ◽  
Research Areas ◽  
Contour Representation ◽  
Specification And Verification

Two-dimensional patterns are used in many research areas in computer science, ranging from image processing to specification and verification of complex software systems (via scenarios). The contribution of this paper is twofold. First, we present the basis of a new formal representation of two-dimensional patterns based on contours and their compositions. Then, we present efficient algorithms to verify correctness of the contourrepresentation. Finally, we briefly discuss possible applications, in particular using them as a basic instrument in developing software tools for handling two dimensional words.

A Computer Science Fair: Inching Toward Intelligibility

1997 ◽  
Vol 42 (11) ◽  
pp. 1007-1008
Author(s):  
Rodney L. Lowman
Keyword(s):  
Computer Science ◽  
Science Fair

Increasing retention of women and minorities in computer science

2008 ◽  
Author(s):  
Donald D. Davis ◽  
Shannon K. Meert ◽  
Debra A. Major ◽  
Janis V. Sanchez-Hucles ◽  
Sandra J. Deloatch
Keyword(s):  
Computer Science

Asserting parallel computational thinking into an undergraduate computer science curriculum

2011 ◽  
Author(s):  
Edusmildo Orozco ◽  
Rafael Arce-Nazario ◽  
Peter Musial ◽  
Cynthia Lucena-Roman ◽  
Zoraida Santiago
Keyword(s):  
Computer Science ◽  
Science Curriculum ◽  
Computational Thinking ◽  
Computer Science Curriculum
Sign in / Sign up

Export Citation Format

Share Document