20126 search results - page 234 / 4026 » Timed Transition Systems |
115
click to vote
TOPNOC
2008
15 years 4 months ago
2008
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
100
click to vote
ASPDAC
2004
ACM
15 years 9 months ago
2004
ACM
In this paper, we present a new technique for calculating the output waveform of CMOS drivers for cross-coupled RC loads. The proposed technique is based on an effective capacitan...
119
click to vote
ACRI
2004
Springer
15 years 9 months ago
2004
Springer
The SLEUTH urban growth model [1] is a cellular automata model that has been widely applied throughout the geographic literature to examine the historic settlement patterns of citi...
129
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Let Φ be a uniformly distributed random k-SAT formula with n variables and m clauses. We prove that the Walksat algorithm from [16, 17] finds a satisfying assignment of Φ in pol...
117
click to vote
EVOW
2009
Springer
15 years 9 months ago
2009
Springer
This paper presents an evolutionary music software system that generates complex rhythmic polyphony in performance. A population of rhythms is derived from analysis of source mater...