Sciweavers

115 search results - page 16 / 23
» cj 2008
Sort
View
ASPDAC
2008
ACM
77views Hardware» more  ASPDAC 2008»
13 years 9 months ago
Symmetry-aware placement with transitive closure graphs for analog layout design
Lihong Zhang, C.-J. Richard Shi, Yingtao Jiang
CJ
2002
70views more  CJ 2002»
13 years 7 months ago
Formal Methods for Assuring Security of Protocols
l examination of the underlying assumptions, abstractions, and possible actions. Consequently, assuring that a system behaves securely is virtually impossible without the use of ri...
Susan Older, Shiu-Kai Chin
CJ
2008
69views more  CJ 2008»
13 years 7 months ago
Some Parameterized Problems On Digraphs
We survey results and open questions on complexity of parameterized problems on digraphs. The problems include the feedback vertex and arc set problems, induced subdigraph problem...
Gregory Gutin, Anders Yeo
CJ
2008
82views more  CJ 2008»
13 years 7 months ago
An Overview of Techniques for Designing Parameterized Algorithms
A survey of the most important and general techniques in parameterized algorithm design is given. Each technique is explained with a meta-algorithm, its use is illustrated by exam...
Christian Sloper, Jan Arne Telle