1587 search results - page 83 / 318 » What's my method |
ECRTS
2009
IEEE
13 years 7 months ago
2009
IEEE
Performing QoS (Quality of Service) control in large computing systems requires an on line metric that is representative of the real state of the system. The Tardiness Quantile Me...
SOFSEM
2012
Springer
12 years 5 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 ...
RC
2002
13 years 9 months ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
The perceived phenomenon that huge investments in information technology (IT) over the past four decades have yielded a very small gain in productivity has been dubbed the “IT p...
ISMIS
1994
Springer
14 years 2 months ago
1994
Springer
BDDs (binary decision diagrams) are a very succesful tool for handling boolean functions, but one which has not yet attracted the attention of many automated deduction specialists....