Computer Talk - Business Computer - Computer Games - Computer Software
Computer Shop - Computer Mice - New Computer - Antivirus Software
Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing especially upon recent advances. Although her emphasis is hardware verification, most of what she reports applies to software verification as well.
Graphical presentation is coming to be a de facto requirement for a `friendly' user interface. The second paper presents a generic format for graphical presentations of coordinating systems represented by automata.
The last two papers as a pair, present a variety of generic techniques for reducing the computational cost of computer-aided verification based upon explicit computational memory: the first of the two gives a time-space trade-off, while the second gives a technique which trades space for a (sometimes predictable) probability of error.
Computer-Aided Verification is an edited volume of original research. This research work has also been published as a special issue of the journal Formal Methods in System Design, 1:2-3.
St. Patrick And The Three Brave Mice
St. Patrick settles in for a much-needed nap after driving the evil snakes from Ireland; however, one clever snake escaped the ring of his miraculous bell. Just in time to witness the sneaky snake stealing the bell from St. Patrickâ€™s side, Tulla mouse knows something must be done. Realizing she cannot accomplish such an important task on her own, she calls upon the help of her friends, Ryan and Brian.
The three mice work quickly to devise a plan to return St. Patrickâ€™s bell, but they know it will not be easy. Despite the fact these mice are no match for the snake in size and wit, their desire to right a wrong encourages them to work together. After putting their plan into action, the three mice are successful in returning the bell to St. Patrick, and all rejoice when Ireland is finally free of every snake.
This endearing story provides a big lesson from characters of a very small size. Playful language accompanied by Celtic-inspired illustrations makes this hopeful tale of three brave mice a great lesson of teamwork and the ability of good to triumph evil.
About the Author
Joyce A. Stengel worked as a registered nurse for twenty years before she followed her passion of writing and received a BA in English from the University of Hartford in 1980, followed by a MFA from Central Connecticut State University in 1988. She has since published five books, three of which were selected as an Aladdin Scholastic Book Fair Choice.
About the Illustrator
Herb Leonhard has worked as a freelance illustrator and graphic designer for more than two decades, specializing in childrenâ€™s book illustrations. He has also designed various promotional materials in support of local and national charities. Leonhard has won numerous gold, silver, and merit awards.
The Disc Shop Articles
The Disc Shop Books