435 search results - page 58 / 87 » A technique for QoS-based system partitioning |
201
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we face the problem of partitioning the news videos into stories, and of their classification according to a predefined set of categories. In particular, we propose ...
154
click to vote
MOMM
2009
ACM
15 years 10 months ago
2009
ACM
New directions in the provision of end-user computing experiences mean that we need to determine the best way to share data between small mobile computing devices. Partitioning la...
153
click to vote
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
165
click to vote
SI3D
1995
ACM
15 years 9 months ago
1995
ACM
This paper describes VOL2, an interactive general-purpose volume renderer based on ray casting and implemented on Pixel-Planes 5, a distributed-memory, message-passing multicomput...
145
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
- It is important to model the substrate coupling for mixed-signal circuit designs today. This paper presents the direct boundary element method (BEM) for substrate resistance calc...