Sciweavers

10539 search results - page 236 / 2108
» On L
Sort
View
VLSID
2006
IEEE
111views VLSI» more  VLSID 2006»
16 years 6 months ago
An Area Efficient Mixed-Signal Test Architecture for Systems-on-a-Chip
Hari Vijay Venkatanarayanan, Michael L. Bushnell
PODS
2008
ACM
120views Database» more  PODS 2008»
16 years 6 months ago
Effective characterizations of tree logics
A survey of effective characterizations of tree logics. If L is a logic, then an effective characterization for L is an algorithm, which inputs a tree automaton and replies if the...
Mikolaj Bojanzyk