6598 search results - page 303 / 1320 » Graph Theory with Applications |
169
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
178
click to vote
IPPS
2007
IEEE
16 years 28 days ago
2007
IEEE
Parallelization of sequential programs is often daunting because of the substantial development cost involved. Various solutions have been proposed to address this concern, includ...
156
click to vote
EDBTW
2010
Springer
16 years 1 months ago
2010
Springer
Graph composition has applications in a variety of practical applications. In drug development, for instance, in order to understand possible drug interactions, one has to merge k...
172
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
In this paper we investigate the use of scene graphs as a general approach for implementing two-dimensional (2D) graphical applications, and in particular Zoomable User Interfaces...
185
click to vote
VLC
2008
15 years 6 months ago
2008
We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to tran...