1607 search results - page 250 / 322 » The existence of k-radius sequences |
SODA
2003
ACM
13 years 10 months ago
2003
ACM
This work examines algebraic techniques for comparing quadratic algebraic numbers, thus yielding methods for deciding key predicates in various geometric constructions. Our motiva...
SAM
2000
13 years 10 months ago
2000
The development of an MSC based graphical representation of TTCN is part of the ETSI project STF 156 on 'Specification of a Message Sequence Chart/UML format, including valid...
ECRTS
2010
IEEE
13 years 10 months ago
2010
IEEE
Schedulability analysis for hard real-time systems requires bounds on the execution times of its tasks. To obtain useful bounds in the presence of caches, static timing analyses mu...
HPDC
2010
IEEE
13 years 10 months ago
2010
IEEE
This paper proposes a comprehensive modeling architecture for workloads on parallel computers using Markov chains in combination with state dependent empirical distribution functi...
ICALT
2010
IEEE
13 years 10 months ago
2010
IEEE
In e-Learning the interest on the use of new kinds of highly-interactive content is increasing. In this regard video games are one of the media that is gaining momentum because of ...