4934 search results - page 178 / 987 » complexity 2008 |
110
click to vote
TCAD
2008
15 years 4 months ago
2008
ion for Asynchronous Design Verification Hao Zheng, Member, IEEE, Jared Ahrens, Tian Xia, Member, IEEE This paper presents a compositional method with preserving abstraction for sc...
125
Voted
FORTE
2008
15 years 6 months ago
2008
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...
134
click to vote
SCHOLARPEDIA
2008
15 years 3 months ago
2008
ABSTRACT. We discuss a special eigenstate of the quantized periodic CalogeroMoser system associated to a root system. This state has the property that its eigenfunctions, when rega...
117
click to vote
DM
2008
15 years 4 months ago
2008
One proves that certain numbers occurring in a problem of paths enumeration, studied by Niederhausen in [7] (see also [10]), are top intersection numbers in the cohomology ring of...
136
click to vote
DAM
2007
15 years 4 months ago
2007
The papers in this special issue originated at SAT 2001, the Fourth International Symposium on the Theory and Applications of Satisfiability Testing. This foreword reviews the cu...