Self-Timed Cellular Automata and their computational ability

By Peper F.   Isokawa T.   Kouda N.   Matsui N.  

Future Generation Computer Systems, Vol. 18, Iss. 7, 2002-08 ,pp. : 893-904

Elsevier

Access to resources Recommend Favorite

Timed verification of the generic architecture of a memory circuit using parametric timed automata

By Chevallier Remy   Encrenaz-Tiphene Emmanuelle   Fribourg Laurent   Xu Weiwen  

Formal Methods in System Design, Vol. 34, Iss. 1, 2009-02 ,pp. : 59-81

Springer Publishing Company

Access to resources Recommend Favorite

Circuit Level Issues of Interconnect Pipelining in Nanoscale Integrated Circuits

By  

Micro and Nanosystems, Vol. 2, Iss. 2, 2010-06 ,pp. : 52-64

Bentham Science Publishers

Access to resources Recommend Favorite

A Study of Recursive Techniques for Robust Identification of Time-Varying Electrical Equivalent Circuit Models of Li-Ion Batteries

By  

International Journal of Handheld Computing Research (IJHCR), Vol. 8, Iss. 3, 2017-07 ,pp. : 52-74

IGI Global_journal

Access to resources Recommend Favorite

Predicting WWW surfing using multiple evidence combination

By Awad Mamoun  

The VLDB Journal, Vol. 17, Iss. 3, 2008-05 ,pp. : 401-417

Springer Publishing Company

Access to resources Recommend Favorite