1655 search results - page 261 / 331 » Visual tool for generative programming |
165
click to vote
IWPC
2006
IEEE
15 years 10 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...
156
click to vote
EUROMICRO
2000
IEEE
15 years 9 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...
152
click to vote
HIPEAC
2007
Springer
15 years 8 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...
129
click to vote
ENTCS
2006
15 years 4 months 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...
156
click to vote
FPGA
2003
ACM
15 years 10 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...