2786 search results - page 183 / 558 » A Practical Technique for Process Abstraction |
161
click to vote
DAC
2005
ACM
16 years 7 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...
170
click to vote
ICDE
2009
IEEE
16 years 1 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...
193
click to vote
IROS
2009
IEEE
16 years 1 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...
150
click to vote
SEMWEB
2007
Springer
16 years 15 days 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...
145
click to vote
VMCAI
2004
Springer
15 years 11 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...