Sciweavers

2957 search results - page 185 / 592
» Code analysis and CS-XML
Sort
View
NECO
2000
133views more  NECO 2000»
15 years 3 months ago
Neural Coding: Higher-Order Temporal Patterns in the Neurostatistics of Cell Assemblies
Recent advances in the technology of multi-unit recordings make it possible to test Hebb's hypothesis that neurons do not function in isolation but are organized in assemblie...
Laura Martignon, Gustavo Deco, Kathryn B. Laskey, ...
142
Voted
RV
2010
Springer
177views Hardware» more  RV 2010»
15 years 1 months ago
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
Etienne Kneuss, Philippe Suter, Viktor Kuncak
178
Voted
DLS
2010
204views Languages» more  DLS 2010»
15 years 1 months ago
Alias analysis for optimization of dynamic languages
Dynamic languages such as Python allow programs to be written more easily using high-level constructs such as comprehensions for queries and using generic code. Efficient executio...
Michael Gorbovitski, Yanhong A. Liu, Scott D. Stol...
ICIP
1995
IEEE
16 years 4 months ago
Mathematical analysis of MPEG compression capability and its application to rate control
This paper presents mathematical frameworks on temporal predictiveprocessing in the MPEG video compression standard. Firstly, a coding gain is derived based on traditional predict...
Jiro Katto, Mutsumi Ohta
126
Voted
IH
2004
Springer
15 years 8 months ago
Graph Theoretic Software Watermarks: Implementation, Analysis, and Attacks
Abstract. This paper presents an implementation of the novel watermarking method proposed by Venkatesan, Vazirani, and Sinha in their recent paper A Graph Theoretic Approach to Sof...
Christian S. Collberg, Andrew Huntwork, Edward Car...