2409 search results - page 284 / 482 » Logical systems for structured specifications |
111
click to vote
ICCD
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper looks at designing circuit elements that will be constructed with nanoscale magnets within the Quantum-dot Cellular Automata (QCA) computational paradigm. In magneti...
106
click to vote
DEXAW
2005
IEEE
15 years 10 months ago
2005
IEEE
Keywords, restricted vocabularies (RVs), thesauri, and catalogues are introduced leading up to discussion of the need for full ontologies to describe the full logical and relation...
129
click to vote
VL
1995
IEEE
15 years 7 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
187
click to vote
DAC
1994
ACM
15 years 7 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
137
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...