Sciweavers

620 search results - page 65 / 124
» Algorithms and computations on cellular automata
Sort
View
108
Voted
ITICSE
2005
ACM
15 years 6 months ago
A prolog toolkit for formal languages and automata
This paper describes the first version of P (read “P flat”), a collection of Prolog predicates that aims to provide a pedagogical implementation of concepts and algorithms t...
Michel Wermelinger, Artur Miguel Dias
112
Voted
IJFCS
2002
58views more  IJFCS 2002»
15 years 8 days ago
Vector Algorithms for Approximate String Matching
Vector algorithms allow the computation of an output vector r = r1r2 :::rm given an input vector e = e1e2 :::em in a bounded number of operations, independent of m the length of t...
Anne Bergeron, Sylvie Hamel
172
Voted
PERCOM
2009
ACM
16 years 1 months ago
Video Ads Dissemination through WiFi-Cellular Hybrid Networks
In this paper, we propose a method for video ads dissemination through a hybrid network consisting of WiFi and cellular networks, in order to provide timely delivery of video ads w...
Hiroshi Hanano, Yoshihiro Murata, Naoki Shibata, K...
121
Voted
MOBICOM
2010
ACM
15 years 24 days ago
Bartendr: a practical approach to energy-aware cellular data scheduling
Cellular radios consume more power and suffer reduced data rate when the signal is weak. According to our measurements, the communication energy per bit can be as much as 6x highe...
Aaron Schulman, Vishnu Navda, Ramachandran Ramjee,...
HYBRID
2010
Springer
15 years 7 months ago
Timed automata with observers under energy constraints
In this paper we study one-clock priced timed automata in which prices can grow linearly ( ˙p = k) or exponentially ( ˙p = kp), with discontinuous updates on edges. We propose E...
Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Ni...