2786 search results - page 183 / 558 » A Practical Technique for Process Abstraction |
106
Voted
DAC
2005
ACM
16 years 2 months ago
2005
ACM
eriodically time-varying (LPTV) abstractions are useful for a variety of communication and computer subsystems. In this paper, we present a novel operator-based model-order reduct...
112
click to vote
ICDE
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— We have developed log-based recovery for middleware servers that access back-end transaction systems (DBMSs). Transactional consistency is provided between in-memory st...
134
Voted
IROS
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— Image-based visual servo (IBVS) is a simple, efficient and robust technique for vision-based control. Although technically a local method in practice it demonstrates a...
102
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we present a new approach to web search personalization based on user collaboration and sharing of information about web documents. The proposed personaliz...
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...