105 search results - page 10 / 21 » Dynamic Partial Order Reduction Using Probe Sets |
103
Voted
CSCLP
2006
Springer
15 years 3 months ago
2006
Springer
A number of different satisfaction and optimisation combinatorial problems have recently been approached with constraint programming over the domain of finite sets, for increased d...
96
Voted
ISVLSI
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes a technique for re-ordering of scan cells to minimize power dissipation that is also capable of reducing the area overhead of the circuit compared to a random...
101
click to vote
EDBT
2009
ACM
15 years 2 months ago
2009
ACM
The widespread use of mobile appliances, with limitations in terms of storage, power, and connectivity capability, requires to minimize the amount of data to be loaded on user’s...
86
Voted
FMICS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
107
Voted
ECRTS
2006
IEEE
15 years 5 months ago
2006
IEEE
Real-time systems are often designed using a set of periodic tasks. Task periods are usually set by the system requirements, but deadlines and computation times can be modified i...