3771 search results - page 16 / 755 » Subobject Transformation Systems |
ICCAD
1997
IEEE
13 years 11 months ago
1997
IEEE
This paper presents the underlying methodology of Cosmos, an interactive approach for hardware software co-design capable of handling multiprocessor systems and distributed archit...
ICSE
2001
IEEE-ACM
13 years 11 months ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...
ICSM
1999
IEEE
13 years 11 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
VTC
2008
IEEE
14 years 1 months ago
2008
IEEE
— In this paper, we propose a two-step precoding approach for multiple-input multiple-output (MIMO) systems by dividing the precoding process into two steps: spatial multiplexing...