3256 search results - page 533 / 652 » Applications of Formal Methods to System Design and Verifica... |
ASE
2008
14 years 10 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
DAC
2009
ACM
15 years 2 months ago
2009
ACM
— Digital signal processing applications often require the computation of linear systems. These computations can be considerably expensive and require optimizations for lower pow...
INFOSCALE
2007
ACM
14 years 11 months ago
2007
ACM
Efficient multi-dimensional data search has received much attention in centralized systems. However, its implementation in large-scale distributed systems is not a trivial job and...
CVPR
1998
IEEE
15 years 12 months ago
1998
IEEE
This paper describes an interactive sensor planning system that can be used to select viewpoints subject to camera visibility, field of view and task constraints. Application area...
RSP
1999
IEEE
15 years 2 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...