1382 search results - page 106 / 277 » Term ordering problem on MDG |
192
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
Given a program and two variables p and q, the goal of points-to analysis is to check if p can point to q in some execution of the program. This well-studied problem plays a cruci...
119
click to vote
PODC
2006
ACM
15 years 6 months ago
2006
ACM
We study the problem of maintaining sketches of recent elements of a data stream. Motivated by applications involving network data, we consider streams that are asynchronous, in w...
113
click to vote
ICCAD
2006
IEEE
15 years 9 months ago
2006
IEEE
In order to handle device matching in analog circuits, some pairs of modules are required to be placed symmetrically. This paper addresses this device-level placement problem for ...
112
click to vote
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...
117
click to vote
PODS
2010
ACM
15 years 6 months ago
2010
ACM
In the last few years, a lot of attention has been paid to the specification and subsequent manipulation of schema mappings, a problem which is of fundamental importance in metad...