Sciweavers

5962 search results - page 168 / 1193
» Working with Patterns and Code
Sort
View
100
Voted
DATESO
2010
286views Database» more  DATESO 2010»
15 years 1 months ago
Fast Fibonacci Encoding Algorithm
Abstract. Data compression has been widely applied in many data processing areas. Compression methods use variable-length codes with the shorter codes assigned to symbols or groups...
Jirí Walder, Michal Krátký, J...
135
Voted
ESOP
2010
Springer
16 years 1 months ago
Verifying a Compiler for Java Threads
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
Andreas Lochbihler
110
Voted
ESANN
2008
15 years 5 months ago
Visual focus with spiking neurons
Attentional focusing can be implemented with a neural field [1], which uses a discharge rate code. As an alternative, we propose in the present work an implementation based on spik...
Sylvain Chevallier, Philippe Tarroux
129
Voted
WM
2003
15 years 5 months ago
Case-Based Reuse of Software Examplets
: We present a software tool for examplet reuse. We define examplets to be goal-directed snippets of source code, often written for tutorial purposes, that show how to use program...
Markus Grabert, Derek G. Bridge
152
Voted
ICICS
2010
Springer
15 years 1 months ago
Efficient Authentication for Mobile and Pervasive Computing
With today's technology, many applications rely on the existence of small devices that can exchange information and form communication networks. In a significant portion of su...
Basel Alomair, Radha Poovendran