1288 search results - page 249 / 258 » On Analysis of Design Component Contracts: A Case Study |
STOC
2005
ACM
15 years 3 months ago
2005
ACM
This paper focuses on competitive function evaluation in the context of computing with priced information. A function f is given together with a cost cx for each variable x of f. ...
108
Voted
CASES
2007
ACM
15 years 1 months ago
2007
ACM
We propose a technique which leverages configurable data caches to address the problem of cache interference in multitasking embedded systems. Data caches are often necessary to p...
170
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
Given a set of points P and a query point q, the reverse furthest neighbor (RFN) query fetches the set of points p P such that q is their furthest neighbor among all points in P {...
ECCV
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Finding point correspondences plays an important role in automatically building statistical shape models from a training set of 3D surfaces. For the point correspondence ...
84
Voted
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
Over the past decade, software architecture research has emerged as the principled study of the overall structure of software systems, especially the relations among subsystems an...