1271 search results - page 174 / 255 » On Simulation-Checking with Sequential Systems |
CBMS
2006
IEEE
14 years 4 months ago
2006
IEEE
Fast retrieval of images from large databases especially from large medical image databases is of great interest to researchers. We have developed shape-based image retrieval syst...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
Babylon v2.0 is a collection of tools and services that provide a 100% Java compatible environment for developing, running and managing parallel, distributed and mobile Java appli...
ASPDAC
2006
ACM
14 years 4 months ago
2006
ACM
Abstract—H.264/AVC is the latest video coding standard. It significantly outperforms the previous video coding standards, but the extraordinary huge computation complexity and m...
ASSETS
2006
ACM
14 years 4 months ago
2006
ACM
To browse the Web, blind people have to use screen readers, which process pages sequentially, making browsing timeconsuming. We present a prototype system, CSurf, which provides a...
ICECCS
2005
IEEE
14 years 3 months ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...