1226 search results - page 94 / 246 » Proofs, Programs and Abstract Complexity |
173
click to vote
DASIP
2010
15 years 1 months ago
2010
This paper describes the implementation of the MPEG AVC CABAC entropy decoder using the RVC-CAL dataflow programming language. CABAC is the Context based Adaptive Binary Arithmeti...
299
click to vote
PLDI
2009
ACM
16 years 6 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
194
click to vote
ESORICS
2002
Springer
16 years 5 months ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
145
click to vote
LPNMR
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
176
click to vote
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Component software means reuse and separate marketing of pre-manufactured binary components. This requires components from different vendors to be composed very late, pos...