3082 search results - page 313 / 617 » its 2004 |
169
click to vote
MMSEC
2004
ACM
16 years 4 days ago
2004
ACM
CSS, the first system to protect multimedia content on the new DVD medium failed badly, because both its encryption algorithm and its key management could easily be broken. A new ...
189
click to vote
PLDI
2004
ACM
16 years 3 days ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
184
click to vote
AFP
2004
Springer
16 years 3 days ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
167
Voted
ICCS
2004
Springer
16 years 2 days ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
196
click to vote
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Estimation using homogeneous entities has to cope with obstacles such as singularities of covariance matrices and redundant parametrizations which do not allow an immedia...