3256 search results - page 309 / 652 » Applications of Formal Methods to System Design and Verifica... |
185
click to vote
SPIC
2011
15 years 1 months ago
2011
This paper proposes a collaborative color calibration method for multi-camera systems. The multi-camera color calibration problem is formulated as an overdetermined linear system,...
157
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
System-level design methods specifically targeted towards multimedia applications have recently received a lot of attention. Multimedia workloads are known to have a high degree o...
189
click to vote
CODES
2006
IEEE
16 years 21 days ago
2006
IEEE
Modern embedded systems for image processing involve increasingly complex levels of functionality under real-time and resourcerelated constraints. As this complexity increases, th...
175
click to vote
KYOTODL
2000
15 years 8 months ago
2000
The web is more and more used as a platform for fullfledged, increasingly complex applications, where a huge amount of change-intensive data is managed by underlying database syst...
239
click to vote
COOPIS
1998
IEEE
15 years 11 months ago
1998
IEEE
Cooperative Information Systems (CIS) often consist of applications that access shared resources such as databases. Since centralized systems may have a great impact on the system...