3365 search results - page 56 / 673 » Digital System Design: Architectures, Methods and Tools |
136
click to vote
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
150
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
131
click to vote
ICIP
2009
IEEE
15 years 2 months ago
2009
IEEE
Still-image processing algorithms are tailored to and depend crucially upon the properties of the class of images to which they are applied, for instance natural images in consumer...
124
click to vote
ADL
1999
Springer
15 years 8 months ago
1999
Springer
We describe an approach to the development of a digital library system that is founded on a number of basic principles. In particular, we discuss the critical role of metadata in ...
136
click to vote
ENTCS
2008
15 years 4 months ago
2008
In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes barely tractable by t...