Sciweavers

755 search results - page 46 / 151
» Compiler generation from structural architecture description...
Sort
View
DAC
2003
ACM
14 years 11 months ago
Clock-tree power optimization based on RTL clock-gating
As power consumption of the clock tree in modern VLSI designs tends to dominate, measures must be taken to keep it under control. This paper introduces an approach for reducing cl...
Monica Donno, Alessandro Ivaldi, Luca Benini, Enri...
CSCLP
2008
Springer
13 years 12 months ago
From Rules to Constraint Programs with the Rules2CP Modelling Language
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
François Fages, Julien Martin
DAC
1999
ACM
14 years 11 months ago
Synthesis of Embedded Software Using Free-Choice Petri Nets
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
Marco Sgroi, Luciano Lavagno
ICSE
2001
IEEE-ACM
14 years 2 months ago
The Coming-of-Age of Software Architecture Research
Over the past decade, software architecture research has emerged as the principled study of the overall structure of software systems, especially the relations among subsystems an...
Mary M. Shaw
IADIS
2004
13 years 11 months ago
RSS-Based Semantic Web Site Description. Making the Web More Accessible
As stated in the Web Content Accessibility Guidelines, it is extremely important to provide clear and consistent navigation mechanisms to increase the likelihood that a person wil...
Eric Noam Rodríguez Suazo, José Gabr...