1005 search results - page 156 / 201 » Patterns for Refinement Automation |
UIST
2006
ACM
14 years 3 months ago
2006
ACM
With the availability of affordable new desktop fabrication techniques such as 3D printing and laser cutting, physical models are used increasingly often during the architectural ...
PLDI
2010
ACM
14 years 2 months ago
2010
ACM
This paper presents a novel optimizing compiler for general purpose computation on graphics processing units (GPGPU). It addresses two major challenges of developing high performa...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
It has long been accepted that requirements analysis should precede architectural design and implementation, but in software evolution and reverse engineering this concern with bl...
DATE
2004
IEEE
14 years 26 days ago
2004
IEEE
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...
FASE
2006
Springer
14 years 23 days ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...