Sciweavers

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