6201 search results - page 74 / 1241 » Implementation of Axiomatic Language |
99
Voted
ICMCS
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, we propose a language called QOS-SMIL where some QoS guarantee statements are added to a subclass of SMIL, and give its implementation technique. In QOS-SMIL, in ad...
125
click to vote
HIPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Distributed shared objects are a well known approach to achieve independenceof the memory model for parallel programming. The illusion of shared (global) objects is a conabstracti...
144
click to vote
DASIP
2010
14 years 10 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...
118
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
134
click to vote
AOSD
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we present a collection of well-known high-level concurrency patterns and mechanisms, coded in AspectJ. We discuss benefits of these implementations relative to pla...