245 search results - page 19 / 49 » Quasi-interpretations a way to control resources |
ICDM
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper discusses about how business intelligence on a website could be obtained from users’ access records instead of web logs of “hits”. Users’ access records are cap...
ICCD
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
ESTIMEDIA
2009
Springer
15 years 4 months ago
2009
Springer
—We have integrated processing with deterministic and non-deterministic resource usage in an overall application and evaluated its performance on a multi-core processor platform....
INFOCOM
2006
IEEE
15 years 4 months ago
2006
IEEE
— In this paper we present a simple and stateless broadcasting protocol called Dynamic Delayed Broadcasting (DDB) which allows locally optimal broadcasting without any prior know...
RTSS
1994
IEEE
15 years 2 months ago
1994
IEEE
Various concurrency control algorithms di er in the time when con icts are detected, and in the way they are resolved. In that respect, the Pessimistic and Optimistic Concurrency ...