2018 search results - page 288 / 404 » Code Normal Forms |
OOPSLA
2007
Springer
14 years 3 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
Bit rate adaptation is one of the most important types of video transcoding. With H.264 becoming the predominant video codec of choice in video coding and streaming, prudent ratea...
AOSD
2006
ACM
14 years 2 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...
SCAM
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents an optimisation technique which automatically inlines certain classes within their enclosing class. Inlining a class involves inserting the fields and methods ...
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...