10891 search results - page 273 / 2179 » Combining Model Reductions |
154
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
The memory subsystem is a major contributor to the performance, power, and area of complex SoCs used in feature rich multimedia products. Hence, memory architecture of the embedded...
136
click to vote
EMNETS
2007
15 years 8 months ago
2007
A realtime posture tracking system has been developed using a network of compact wireless sensor devices worn by the user. Each device is a complete inertial/magnetic tracking uni...
150
click to vote
COMPGEOM
2001
ACM
15 years 7 months ago
2001
ACM
We present two approaches to the problem of calculating a cell in a 3-dimensional arrangement of quadrics. The first approach solves the problem using rational arithmetic. It work...
116
click to vote
HT
1991
ACM
15 years 7 months ago
1991
ACM
In order to combine hypertext with database facilities, we show how to extract an effective storage structure from given instance relationships. The schema of the structure recogn...
140
Voted
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...