Specializing in Accountability
نویسندگان
چکیده
منابع مشابه
Specializing Russian Doll Search
Russian Doll Search (RDS) is a clever procedure to solve overconstrained problems. RDS solves a sequence of nested subprob-lems, where two consecutive subproblems diier in one variable only. We present the Specialized RDS (SRDS) algorithm, which solves the current subproblem for each value of the new variable with respect to the previous subproblem. The SRDS lower bound is superior to the RDS l...
متن کاملSpecializing visualization algorithms
In this paper we look at the potential of program specialization techniques in the context of visualization. In particular we look at partial evaluation and pass separation and how these have been used to automatically produce more efficient implementations and how they can be used to design new algorithms. We conclude by discussing what we think are the applications were program specialization...
متن کاملSpecializing Java Programs in a Distributed Environment
The platform neutrality of Java programs allows them to run on heterogeneous computers. In a distributed environment, however, Java programs often cause performance problems because they are not implemented for specific clients, so their implementation conflicts with their usage patterns at the client side. In this paper, we present a mechanism to address this problem by optimizing Java program...
متن کاملSpecializing Code via Partial Evalutaion
This document introduces the concept of program specialization and partial evaluation highlighting some of the insights that went into the maturity of the elds. After an informal discussion and motivation regarding this research, the theoretical foundations of partial evaluation are presented. This is followed by an examination of the expanse and uses of partial evaluation, both intensional and...
متن کاملType System for Specializing Polymorphism
Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict between these features in design and implementation of a modern statically typed programming language. Flexibility is achieved by high-degree of polymorphism, which is based on generic primitives in an abstract model of comput...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Academic Medicine
سال: 2013
ISSN: 1040-2446
DOI: 10.1097/acm.0000000000000000