363 search results - page 31 / 73 » The SAT Phase Transition |
FMOODS
2008
13 years 10 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
OSS
2007
Springer
14 years 2 months ago
2007
Springer
Some free software and open source projects have been extremely successful in the past. The success of a project is often related to the number of developers it can attract: a larg...
SIPS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a low-complexity, high-speed 4-dimensional 8-ary Phase Shift Keying Trellis Coded Modulation (4-D 8PSK TCM) decoder. In the design, an efficient architecture f...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
In this paper, we address the scheduling problem of multi-mode real-time systems upon uniform multiprocessor platforms. We propose two transition protocols, specified together wit...
NIPS
2008
13 years 10 months ago
2008
Large networks of spiking neurons show abrupt changes in their collective dynamics resembling phase transitions studied in statistical physics. An example of this phenomenon is th...