1655 search results - page 261 / 331 » Visual tool for generative programming |
128
click to vote
IWPC
2006
IEEE
15 years 6 months ago
2006
IEEE
Software system analysis for extracting system functionality remains as a major problem in the reverse engineering literature and the early approaches mainly rely on static proper...
114
Voted
EUROMICRO
2000
IEEE
15 years 5 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
116
Voted
HIPEAC
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, we examine the trade-offs in performance and area due to customizing the datapath and instruction set architecture of a soft VLIW processor implemented in a high-den...
ENTCS
2006
15 years 17 days ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
124
Voted
FPGA
2003
ACM
15 years 5 months ago
2003
ACM
One of the most difficult and time-consuming steps in the creation of an FPGA is its transistor-level design and physical layout. Modern commercial FPGAs typically consume anywher...