– This paper describes a new technique for extracting clock-level finite state machines(FSMs) from transistor netlists using symbolic simulation. The transistor netlist is prepr...
Manish Pandey, Alok Jain, Randal E. Bryant, Derek ...
This paper presents a conceptual framework and a process model for feature extraction and iconic visualization. Fearaction is viewed as a process of data abstraction, which can pr...
Frank J. Post, Theo van Walsum, Frits H. Post, Deb...
Abstract. Living Technology is researching novel IT making strong use of programmable chemical systems. These chemical systems shall finally converge to artificial cells resulting ...
Despite increasing dependency on technology, the importance of humans is expected to increase and to provide a realistic basis for decision support; both technical and organizatio...
In this paper, we consider the problem of energy balanced data propagation in wireless sensor networks and we generalise previous works by allowing realistic energy assignment. A n...