Sciweavers

72 search results - page 2 / 15
» cai 2009
Sort
View
CAI
2009
Springer
16 years 20 days ago
Single-Path Restarting Tree Automata
Friedrich Otto, Heiko Stamer
CAI
2009
Springer
16 years 20 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 25 days ago
An efficient decoupling capacitance optimization using piecewise polynomial models
Xiaoyi Wang, Yici Cai, Sheldon X.-D. Tan, Xianlong...