Sciweavers

1604 search results - page 88 / 321
» Development Separation in Lambda-Calculus
Sort
View
ICSM
2006
IEEE
14 years 4 months ago
On the Use of Line Co-change for Identifying Crosscutting Concern Code
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...
Gerardo Canfora, Luigi Cerulo, Massimiliano Di Pen...
DATE
2005
IEEE
101views Hardware» more  DATE 2005»
14 years 3 months ago
TSUNAMI: An Integrated Timing-Driven Place And Route Research Platform
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 ...
Christophe Alexandre, Hugo Clément, Jean-Pa...
EDOC
2005
IEEE
14 years 3 months ago
An Aspect Oriented Model Driven Framework
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...
Devon M. Simmonds, Raghu Reddy, Robert B. France, ...
RSP
2005
IEEE
14 years 3 months ago
Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP
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...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
EGC
2005
Springer
14 years 3 months ago
High Throughput Computing for Spatial Information Processing (HIT-SIP) System on Grid Platform
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...
Yong Xue, Yanguang Wang, Jianqin Wang, Ying Luo, Y...