3370 search results - page 304 / 674 » Correlation Embedding Analysis |
154
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
122
click to vote
ISSRE
2000
IEEE
15 years 8 months ago
2000
IEEE
Learning from software failures is an essential step towards the development of more reliable software systems and processes. However, as more intricate software systems are devel...
139
click to vote
CVPR
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper formulates the problem of object categorization in the discriminant analysis framework focusing on transforming visual feature data so as to make it conform to the comp...
123
click to vote
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
148
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...