Sciweavers

1379 search results - page 36 / 276
» codes 2009
Sort
View
127
Voted
CSFW
2009
IEEE
15 years 10 months ago
Tight Enforcement of Information-Release Policies for Dynamic Languages
This paper studies the problem of securing information release in dynamic languages. We propose (i) an intuitive framework for information-release policies expressing both what ca...
Aslan Askarov, Andrei Sabelfeld
SIGCSE
2009
ACM
194views Education» more  SIGCSE 2009»
16 years 4 months ago
Integrating pedagogical code reviews into a CS 1 course: an empirical study
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
Christopher D. Hundhausen, Anukrati Agrawal, Dana ...
117
Voted
ICASSP
2009
IEEE
15 years 10 months ago
Low bitrate audio coding using generalized adaptive gain shape vector quantization across channels
Audio coding at low bitrates suffers from artifacts due to spectrum truncation. Typical audio codecs code multi-channel sources using transforms across the channels to remove redu...
Sanjeev Mehrotra, Wei-Ge Chen, Kishore A. Kotteri
136
Voted
PPDP
2009
Springer
15 years 10 months ago
Automatic refactoring of Erlang programs
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
Konstantinos F. Sagonas, Thanassis Avgerinos
ESA
2009
Springer
77views Algorithms» more  ESA 2009»
15 years 10 months ago
Short Labels for Lowest Common Ancestors in Trees
We evaluate the practical performance of labeling schemes for lowest common ancestors in trees. We develop different variants for encoding the labels. We then perform a thorough e...
Johannes Fischer