3495 search results - page 302 / 699 » On the random satisfiable process |
199
click to vote
NOCS
2009
IEEE
16 years 2 months ago
2009
IEEE
Communication plays a crucial role in the design and performance of multi-core systems-on-chip (SoCs). Networks-on-chip (NoCs) have been proposed as a promising solution to simpli...
172
click to vote
FM
2009
Springer
16 years 2 months ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
173
click to vote
SUM
2009
Springer
16 years 2 months ago
2009
Springer
Different methods have been proposed for merging multiple and potentially conflicting informations. Sum-based operators offer a natural method for merging commensurable prioriti...
205
click to vote
DATE
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract - Streaming applications are often implemented as task graphs. Currently, techniques exist to derive buffer capacities that guarantee satisfaction of a throughput constrai...
153
click to vote
ISCAS
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract— Existing methods of gate level power attack countermeasures depend on exact capacitance matching of the dual-rail data outputs of each gate. Process variability and a l...