Sciweavers

72 search results - page 2 / 15
» cai 2009
Sort
View
CAI
2009
Springer
16 years 15 days ago
Single-Path Restarting Tree Automata
Friedrich Otto, Heiko Stamer
115
Voted
CAI
2009
Springer
16 years 15 days ago
Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms - Revisited
Andreas Maletti, Catalin Ionut Tîrnauca
CAI
2009
Springer
16 years 15 days ago
Process Algebra: An Algebraic Theory of Concurrency
This tutorial provides an overview of the process algebra ACP.
Wan Fokkink
DATE
2009
IEEE
86views Hardware» more  DATE 2009»
16 years 21 days ago
An efficient decoupling capacitance optimization using piecewise polynomial models
Xiaoyi Wang, Yici Cai, Sheldon X.-D. Tan, Xianlong...