4418 search results - page 139 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
137
click to vote
IPPS
1996
IEEE
15 years 8 months ago
1996
IEEE
In a shared-memory multiprocessor system, it is possible that certain synchronization operations are redundant -that is, their corresponding sequencing requirements are enforced c...
164
click to vote
ASPDAC
2001
ACM
15 years 8 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
111
click to vote
JCDL
2010
ACM
15 years 9 months ago
2010
ACM
Converting a scanned document to a binary format (black and white) is a key step in the digitization process. While many existing binarization algorithms operate robustly for well...
179
click to vote
WISE
2000
Springer
15 years 8 months ago
2000
Springer
The mediator/wrapper approach is used to integrate data from different databases and other data sources by introducing a middleware virtual database that provides high level abstr...
183
click to vote
AOSD
2011
ACM
14 years 11 months ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...