Sciweavers

4355 search results - page 201 / 871
» Increasing Kolmogorov Complexity
Sort
View
JUCS
2006
109views more  JUCS 2006»
14 years 11 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
SIGPLAN
2008
14 years 11 months ago
Languages and performance engineering: method, instrumentation, and pedagogy
Programs encounter increasingly complex and fragile mappings to computing platforms, resulting in performance characteristics that are often mysterious to students, practitioners,...
Doug Lea, David F. Bacon, David Grove
IJWMC
2007
66views more  IJWMC 2007»
14 years 11 months ago
Grain: a stream cipher for constrained environments
Abstract. A new stream cipher, Grain, is proposed. The design targets hardware environments where gate count, power consumption and memory is very limited. It is based on two shift...
Martin Hell, Thomas Johansson, Willi Meier
IPL
2007
50views more  IPL 2007»
14 years 11 months ago
Wait-free regular storage from Byzantine components
We present a simple, efficient, and self-contained construction of a wait-free regular register from Byzantine storage components. Our construction utilizes a novel building block...
Ittai Abraham, Gregory Chockler, Idit Keidar, Dahl...
TVLSI
2008
102views more  TVLSI 2008»
14 years 10 months ago
A Robust 4-PAM Signaling Scheme for Inter-Chip Links Using Coding in Space
Abstract--Increasing demand for high-speed inter-chip interconnects requires faster links that consume less power. Channel coding can be used to lower the required signal-to-noise ...
Kamran Farzan, David A. Johns