7206 search results - page 1362 / 1442 » Using a Hypermedia System for Systems Engineering |
157
click to vote
CGO
2008
IEEE
16 years 20 days ago
2008
IEEE
This paper describes an algorithm that takes a trace (i.e., a sequence of numbers or vectors of numbers) as input, and from that produces a sequence of loop nests that, when run, ...
165
click to vote
ISPASS
2008
IEEE
16 years 18 days ago
2008
IEEE
Although the best processor design for executing a specific workload does depend on the characteristics of the workload, it can not be determined without factoring-in the effect o...
202
click to vote
SEFM
2007
IEEE
16 years 14 days ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
204
click to vote
WLP
2007
Springer
16 years 9 days ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
163
click to vote
IUI
2006
ACM
16 years 4 days ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...