16 search results - page 1 / 4 » Procedure exlining: a new system-level specification transfo... |
EURODAC
1995
IEEE
13 years 7 months ago
1995
IEEE
ICSM
2005
IEEE
13 years 9 months ago
2005
IEEE
In the context of software maintenance, legacy software systems are continuously re-engineered in order to correct errors, provide new functionality, or port them into modern plat...
FPL
2004
Springer
13 years 9 months ago
2004
Springer
A previous study [1] demonstrates the advantages of replacing registers by FPGA embedded memories during the storage allocation phase of High-Level Synthesis. The trend in new FPGA...
LCTRTS
2010
Springer
13 years 2 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
APSEC
2002
IEEE
13 years 9 months ago
2002
IEEE
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...