Sciweavers

5606 search results - page 519 / 1122
» Randomization Techniques for Graphs.
Sort
View
ASYNC
1997
IEEE
95views Hardware» more  ASYNC 1997»
15 years 11 months ago
Partial order based approach to synthesis of speed-independent circuits
This paper introduces a novel technique for synthesis of speed-independent circuits from their Signal Transition Graph specifications. The new method uses partial order in the fo...
Alexei L. Semenov, Alexandre Yakovlev, Enric Pasto...
AAIM
2007
Springer
123views Algorithms» more  AAIM 2007»
15 years 11 months ago
Efficient Algorithms for k -Disjoint Paths Problems on DAGs
Given an acyclic directed graph and two distinct nodes s and t, we consider the problem of finding k disjoint paths from s to t satisfying some objective. We consider four objectiv...
Rudolf Fleischer, Qi Ge, Jian Li, Hong Zhu
ICCD
1995
IEEE
121views Hardware» more  ICCD 1995»
15 years 10 months ago
Analysis of conditional resource sharing using a guard-based control representation
Optimization of hardware resources for conditional data-flow graph behavior is particularly important when conditional behavior occurs in cyclic loops and maximization of through...
Ivan P. Radivojevic, Forrest Brewer
DAGSTUHL
2006
15 years 8 months ago
Partial Matching by Structural Descriptors
The extended abstract describes a method for recognizing similar sub-parts of objects described by 3D polygonal meshes. The innovation of this method is the coupling of structure a...
Simone Marini, Silvia Biasotti, Bianca Falcidieno
OSDI
2006
ACM
16 years 7 months ago
Securing Software by Enforcing Data-flow Integrity
Software attacks often subvert the intended data-flow in a vulnerable program. For example, attackers exploit buffer overflows and format string vulnerabilities to write data to u...
Manuel Costa, Miguel Castro, Timothy L. Harris