631 search results - page 9 / 127 » Why Model |
139
click to vote
SOFSEM
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Various methods exists in the literature for denoting the configuration of a Turing Machine. A key difference is whether the head position is indicated by some integer ...
116
click to vote
COMPSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Uncertainty analysis through sensitivity studies and quantification of the variance of the reliability estimate has become more common in architecture-based software reliability ...
106
click to vote
AE
2001
Springer
15 years 6 months ago
2001
Springer
This is a time of increasing interdisciplinary research. Computer science is learning more from biology every day, enabling a plethora of new software techniques to flourish. And b...
112
click to vote
VLDB
2007
ACM
15 years 8 months ago
2007
ACM
The Transaction Processing Performance Council (TPC) is completing development of TPC-DS, a new generation industry standard decision support benchmark. The TPC-DS benchmark, firs...
HOTOS
2003
IEEE
15 years 7 months ago
2003
IEEE
Event-based programming has been highly touted in recent years as the best way to write highly concurrent applications. Having worked on several of these systems, we now believe t...