6155 search results - page 409 / 1231 » A language for multiple models of computation |
225
Voted
ICPP
1991
IEEE
15 years 10 months ago
1991
IEEE
Data decomposition is probably the most successful method for generating parallel programs. In this paper a general framework is described for the automatic generation of parallel...
184
Voted
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...
233
Voted
ICMT
2011
Springer
14 years 10 months ago
2011
Springer
ATL is a language for describing model transformations currently in uni-direction. In our previous work we have shown that transformations of graph structures given in some form ca...
197
Voted
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
178
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
Aspect-Oriented Programming (AOP) has been considered ing abstraction principle to reduce the problem of code tangling and make software structure clean and configurable. This pap...