Results for:
"
Marsha+Norman
" in Documents
- Project For Csc 2108 - Automated Verification
- Some elementary concepts on Equational Theories and Term Rewriting Systems are introduced, followed by a brief review of the main ideas of the Knuth-Bendix Completion procedure. Then a formalization o...
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 13-05-09
- Events in Property Patterns 1999
- A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification vas pro- posed by Dvyer and his colleagues in [4, 3]. The patterns enable ...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- Events in Property Patterns 1999
- A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification vas pro- posed by Dvyer and his colleagues in [4, 3]. The patterns enable ...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 15-05-09
- AMR on the CM-2
- We describe the development of a structured adaptive mesh algorithm (AMR) for the Connection Machine-2 (CM-2). We develop a data layout scheme that preserves locality even for communication between fi...
-
Rating:
Views: (1500)
Pages: ()
Uploaded: Aug 1, 1992
- A path yet unpaved.
-
Rating:
Views: ()
Pages: ()
Uploaded: 2005-7-7
- Hemiparesis in a 36 year old man.
-
Rating:
Views: (1)
Pages: ()
Uploaded: 2009-3-3
- Breastfeeding with diabetes: yes you can!
-
Rating:
Views: ()
Pages: ()
Uploaded: 2006-8-4
- Physicians as legislators.
-
Rating:
Views: ()
Pages: ()
Uploaded: 2004-8-18