2231 search results - page 251 / 447 » Alternation as a programming paradigm |
185
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...
189
click to vote
IJIIDS
2010
15 years 1 months ago
2010
Abstract. This paper presents the semantics of database mappings in the relational database (DB) category, based on the power-view monad T and monadic algebras. The semantics can b...
242
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
—Validation is one of the software engineering disciplines that help build quality into software. The major objective of software validation process is to determine that the soft...
189
click to vote
MICRO
1991
IEEE
15 years 10 months ago
1991
IEEE
This paper examines two alternative approaches to supporting code scheduling for multiple-instruction-issue processors. One is to provide a set of non-trapping instructions so tha...
203
click to vote
JAR
2006
15 years 6 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...