8808 search results - page 1437 / 1762 » Process of Software Evolution |
183
click to vote
IFM
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
152
click to vote
IWMM
2004
Springer
16 years 2 days ago
2004
Springer
Operating systems account for memory consumption and allow for termination at the level of individual processes. As a result, if one process consumes too much memory, it can be te...
143
click to vote
LCPC
2004
Springer
16 years 2 days ago
2004
Springer
In this paper, we describe our experience in writing parallel numerical algorithms using Hierarchically Tiled Arrays (HTAs). HTAs are classes of objects that encapsulate parallelis...
187
click to vote
LCPC
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Multimedia and network processing applications make extensive use of subword data. Since registers are capable of holding a full data word, when a subword variable is ass...
183
click to vote
AVSS
2003
IEEE
16 years 5 hour ago
2003
IEEE
In this paper, we present a combined real-time face region tracking and highly accurate face recognition technique for an intelligent surveillance system. Highresolution face imag...