Sciweavers

212 search results - page 30 / 43
» On Lengths of Rainbow Cycles
Sort
View
ENTCS
2006
111views more  ENTCS 2006»
13 years 9 months ago
A Verified Compiler for Synchronous Programs with Local Declarations
In addition to efficient code generation, causality cycles and schizophrenic statements are major problems for the compilation of synchronous programs. Although these problems are ...
Klaus Schneider, Jens Brandt, Tobias Schüle
CORR
2007
Springer
113views Education» more  CORR 2007»
13 years 9 months ago
The road coloring problem
A synchronizing word of a deterministic automaton is a word in the alphabet of colors (considered as letters) of its edges that maps the automaton to a single state. A coloring of...
A. N. Trahtman
JCP
2006
100views more  JCP 2006»
13 years 9 months ago
Biometric Gait Authentication Using Accelerometer Sensor
Abstract-- This paper presents a biometric user authentication based on a person's gait. Unlike most previous gait recognition approaches, which are based on machine vision te...
Davrondzhon Gafurov, Kirsi Helkala, Torkjel S&osla...
ENDM
2007
68views more  ENDM 2007»
13 years 9 months ago
Detecting induced subgraphs
An s-graph is a graph with two kind of edges: subdivisible edges and real edges. A realisation of an s-graph B is any graph obtained by subdividing subdivisible edges of B into pa...
Benjamin Lévêque, David Y. Lin, Fr&ea...
MICRO
2000
IEEE
107views Hardware» more  MICRO 2000»
13 years 9 months ago
An integrated approach to accelerate data and predicate computations in hyperblocks
To exploit increased instruction-level parallelism available in modern processors, we describe the formation and optimization of tracenets, an integrated approach to reducing the ...
Alexandre E. Eichenberger, Waleed Meleis, Suman Ma...