6167 search results - page 25 / 1234 » Can Refinement be Automated |
ASYNC
2001
IEEE
14 years 1 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
ICRA
2009
IEEE
13 years 7 months ago
2009
IEEE
This paper presents a method for accurately segmenting and classifying 3D range data into particular object classes. Object classification of input images is necessary for applicat...
APAQS
2001
IEEE
14 years 1 months ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
ASM
2010
ASM
14 years 1 months ago
2010
ASM
We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of re...
DAC
2004
ACM
14 years 10 months ago
2004
ACM
ion Refinement by Controllability and Cooperativeness Analysis Freddy Y.C. Mang and Pei-Hsin Ho Advanced Technology Group, Synopsys, Inc. {fmang, pho}@synopsys.com nt a new abstrac...