2911 search results - page 460 / 583 » A Logic of Graph Constraints |
113
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
— In this paper, we propose a novel, energy aware scheduling algorithm for applications running on DVS-enabled multiprocessor systems, which exploits variation in execution times...
110
click to vote
ICDCSW
2009
IEEE
15 years 7 months ago
2009
IEEE
Designing cyber-physical systems with high efficiency, adaptability, autonomy, reliability and usability is a challenging task. In this paper, we focus on minimizing networkwide ...
103
click to vote
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
— The worst-case delay/power of function units has been used in traditional high level synthesis to facilitate design space exploration. As technology scales to nanometer regime,...
84
Voted
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
118
click to vote
ICSM
2006
IEEE
15 years 6 months ago
2006
IEEE
Facts extracted from source code have been used to support a variety of software engineering activities, ranging from architectural understanding, through detection of design patt...