1366 search results - page 181 / 274 » Modularizing Contexted Constraints |
160
click to vote
SCP
2000
15 years 2 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
147
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--For the management of a virtual P2P supercomputer one is interested in subgroups of processors that can communicate with each other efficiently. The task of finding these...
261
click to vote
CASES
2011
ACM
14 years 3 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
153
click to vote
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
Graph matching techniques are widely used in pattern recognition problems such as scene description, finger print identification, or face recognition. In this paper, we put forwar...
113
click to vote
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
Analyzing fluid motion is essential in number of domains and can rarely be handled using generic computer vision techniques. In this particular application context, we address two ...