5205 search results - page 382 / 1041 » Tilings and model theory |
170
click to vote
FMCAD
2007
Springer
16 years 1 months ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...
173
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Tournament selection has been widely used and studied in evolutionary algorithms. To supplement the study of tournament selection, this paper provides several models describing th...
164
click to vote
ICARCV
2006
IEEE
16 years 28 days ago
2006
IEEE
— Snake robots may one day play a crucial role in search and rescue operations and fire-fighting where it may either be too narrow or to dangerous for personnel to operate. Pro...
207
click to vote
SCESM
2006
ACM
16 years 25 days ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
171
click to vote
INFOCOM
2005
IEEE
16 years 14 days ago
2005
IEEE
We discuss the modelling of FAST TCP and prove four stability results. Using the traditional continuous-time flow model, we prove, for general networks, that FAST TCP is globally ...