259 search results - page 51 / 52 » Using Transformations and Verification in Circuit Design |
120
click to vote
MICRO
2008
IEEE
15 years 3 months ago
2008
IEEE
of nature, or abstract idea (collectively, a principle). The clue to the patent-eligibility of processes that do not involve substance-transformation is whether the process impleme...
131
click to vote
JUCS
2007
15 years 3 months ago
2007
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...
127
click to vote
SBCCI
2005
ACM
15 years 9 months ago
2005
ACM
The designer of a system on a chip (SoC) that connects IP cores through a network on chip (NoC) needs methods to support application performance evaluation. Two key aspects these ...
151
click to vote
HUC
2010
Springer
15 years 5 months ago
2010
Springer
We present WATTR, a novel self-powered water activity sensor that utilizes residential water pressure impulses as both a powering and sensing source. Consisting of a power harvest...
156
click to vote
JUCS
2010
14 years 10 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...