Sciweavers

2572 search results - page 294 / 515
» codes 2008
Sort
View
NIPS
2008
15 years 6 months ago
The Conjoint Effect of Divisive Normalization and Orientation Selectivity on Redundancy Reduction
Bandpass filtering, orientation selectivity, and contrast gain control are prominent features of sensory coding at the level of V1 simple cells. While the effect of bandpass filte...
Fabian H. Sinz, Matthias Bethge
149
Voted
PDPTA
2008
15 years 6 months ago
Dynamic Aspect-Oriented Load Balancing in Java RMI
Load balancing is the process of distributing client requests over a set of servers, and is a key element of obtaining good performance in a distributed application. Java RMI exte...
Andrew Stevenson, Steve MacDonald
121
Voted
PST
2008
15 years 6 months ago
Encoding the Program Correctness Proofs as Programs in PCC Technology
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating and storing the proofs which are inh...
Heidar Pirzadeh, Danny Dubé
140
Voted
PTS
2008
109views Hardware» more  PTS 2008»
15 years 6 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
118
Voted
SE
2008
15 years 6 months ago
Eliminating Trust From Application Programs By Way Of Software Architecture
: In many of today's application programs, security functionality is inseparably intertwined with the actual mission-purpose logic. As a result, the trusted code base is unnec...
Michael Franz