Sciweavers

12289 search results - page 710 / 2458
» computing 2006
Sort
View
EJC
2006
15 years 7 months ago
Symplectic graphs and their automorphisms
The general symplectic graph Sp(2, q) is introduced. It is shown that Sp(2, q) is strongly regular. Its parameters are computed, its chromatic number and group of graph automorphis...
Zhongming Tang, Zhe-xian Wan
EJC
2006
15 years 7 months ago
Toward the classification of Moufang loops of order 64
We show how to obtain all nonassociative Moufang loops of order less than 64 and 4262 nonassociative Moufang loops of order 64 in a unified way. We conjecture that there are no oth...
Petr Vojtechovský
ENTCS
2006
105views more  ENTCS 2006»
15 years 7 months ago
Feasible Reactivity for Synchronous Cooperative Threads
We are concerned with programs composed of cooperative threads whose execution proceeds in synchronous rounds called instants. We develop static analysis methods to guarantee that...
Roberto M. Amadio, Frédéric Dabrowsk...
JSC
2007
56views more  JSC 2007»
15 years 7 months ago
Restriction of A-discriminants and dual defect toric varieties
We study the A-discriminant of toric varieties. We reduce its computation to the case of irreducible configurations and describe its behavior under specialization of some of the ...
Raymond Curran, Eduardo Cattani
ITICSE
2006
ACM
16 years 1 months ago
A web-based service for the automatic detection of roles of variables
Learning elementary programming can be enhanced by introducing the notion of variable roles to students. This paper presents a web-based automatic role detection service that can ...
Petri Gerdt, Jorma Sajaniemi