11949 search results - page 98 / 2390 » Some results on (a:b)-choosability |
89
Voted
IADIS
2008
15 years 2 months ago
2008
For several years, some teachers of the Statistics' Department at the University of Cordoba, with some last course of technical Industrial Engineering in Computer science pup...
104
Voted
JUCS
2002
15 years 21 days ago
2002
: The problem about the synchronization of a finite deterministic automaton is not yet properly understood. The present paper investigates this and related problems within the gene...
116
Voted
STTT
2010
14 years 7 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
DM
2006
15 years 1 months ago
2006
Our main result describes how to extend a matroid so that its ground set is a modular hyperplane of the larger matroid. This result yields a new way to view Dowling lattices and ne...
81
Voted
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
The results produced by five different MPI benchmark programs on an SGI Altix 3700 are analyzed and compared. There are significant differences in the results for some MPI operati...