5184 search results - page 993 / 1037 » Computer support for mechatronic control system design |
MOBIDE
2005
ACM
14 years 1 months ago
2005
ACM
In the context of mobile data access, data caching is fundamental for both performance and functionality. For this reason there have been many studies into developing energy-effi...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
This paper presents an hybrid adaptive system for induction of forest of trees from data streams. The Ultra Fast Forest Tree system (UFFT) is an incremental algorithm, with consta...
CASES
2003
ACM
14 years 28 days ago
2003
ACM
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...
EDBT
2000
ACM
14 years 1 days ago
2000
ACM
Database systems support recovery, providing high database availability. However, database applications may lose work because of a server failure. In particular, if a database serv...
PODC
1994
ACM
13 years 11 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...