2664 search results - page 376 / 533 » Theory by Process |
175
click to vote
CIE
2007
Springer
16 years 21 days ago
2007
Springer
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...
159
click to vote
ISSAC
2007
Springer
16 years 20 days ago
2007
Springer
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...
199
click to vote
KBSE
2005
IEEE
16 years 3 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
175
click to vote
SIGMETRICS
2005
ACM
16 years 2 days ago
2005
ACM
In addition to providing small mean response times, modern applications seek to provide users predictable service and, in some cases, Quality of Service (QoS) guarantees. In order...
173
click to vote
SIGMETRICS
2005
ACM
16 years 2 days ago
2005
ACM
We define the class of SMART scheduling policies. These are policies that bias towards jobs with small remaining service times, jobs with small original sizes, or both, with the ...