6554 search results - page 1252 / 1311 » Constraint Logic Programming |
112
click to vote
ISLPED
2005
ACM
15 years 9 months ago
2005
ACM
This paper studies the impact on energy efficiency and thermal behavior of design style and clock-gating style in queue and array structures. These structures are major sources of...
163
click to vote
ECMDAFA
2005
Springer
15 years 9 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
128
Voted
ICFEM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
122
Voted
ISLPED
2004
ACM
15 years 8 months ago
2004
ACM
The need to perform early design studies that combine architectural simulation with power estimation has become critical as power has become a design constraint whose importance h...
141
Voted
SAC
2004
ACM
15 years 8 months ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...