1604 search results - page 88 / 321 » Development Separation in Lambda-Calculus |
83
Voted
ICSM
2006
IEEE
15 years 6 months ago
2006
IEEE
Crosscutting concerns are software system features whose implementation is spread across many modules as tangled and scattered code. Identifying such code helps developers to chan...
75
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper, we present an experimental integrated platform for the research, development and evaluation of new VLSI back-end algorithms and design flows. Interconnect scaling ...
108
click to vote
EDOC
2005
IEEE
15 years 6 months ago
2005
IEEE
In model driven development (MDD), specifying transformations between models at various levels of ion can be a complex task. Specifying transformations for pervasive system featur...
91
Voted
RSP
2005
IEEE
15 years 6 months ago
2005
IEEE
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
180
Voted
EGC
2005
Springer
15 years 6 months ago
2005
Springer
For many remote sensing application projects, the quality of the research or the product is heavily dependent upon the quantity of computing cycles available. Middleware is softwar...