1336 search results - page 220 / 268 » codes 2005 |
154
Voted
FASE
2005
Springer
15 years 9 months ago
2005
Springer
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The criteria are based on UML sequence diagrams that a...
140
Voted
FPL
2005
Springer
15 years 9 months ago
2005
Springer
A parallel MPEG-4 Simple Profile encoder for FPGA based multiprocessor System-on-Chip (SOC) is presented. The goal is a computationally scalable framework independent of platform....
137
Voted
FSE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper discusses the state-of-the-art software optimization methodology for symmetric cryptographic primitives on Pentium III and 4 processors. We aim at maximizing s...
110
Voted
FSKD
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we propose and evaluate a novel recognition algorithm for container identifiers that effectively overcomes these difficulties and recognizes identifiers from contain...
128
Voted
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...