33356 search results - page 348 / 6672 » Models of Continual Computation |
159
click to vote
WSC
1998
15 years 8 months ago
1998
LABATCH.2 is a collection of computer programs available in C, FORTRAN, and SIMSCRIPT II.5 by anonymous ftp, at http://www.or.unc.edu/gfish/labatch.2.html. It performs statistical...
157
click to vote
BMVC
2010
15 years 4 months ago
2010
We introduce a stability analysis model for multi-candidate regional and national voting schemes (aka Electoral College and Direct Popular Vote, respectively), which can be expres...
172
click to vote
EEF
2000
15 years 10 months ago
2000
This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides
135
Voted
AML
2008
15 years 6 months ago
2008
We study problems of Clote and Paris, concerning the existence of end extensions of models of n-collection. We continue the study of the notion of ` -fullness', begun by Wilki...
175
click to vote
SIGMETRICS
2002
ACM
15 years 6 months ago
2002
ACM
As processor microarchitectures continue to increase in complexity, so does the time required to explore the design space. Performing cycle