2501 search results - page 322 / 501 » Logics with Rank Operators |
147
click to vote
ICCAD
1996
IEEE
15 years 9 months ago
1996
IEEE
We present techniques for estimating switching activity and power consumption in register-transfer level (RTL) circuits. Previous work on this topic has ignored the presence of gl...
133
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
166
click to vote
REST
2010
ACM
15 years 6 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
181
click to vote
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
The choice of an appropriate hardware representation model is key to successful evolution of digital circuits. One of the most popular models is cartesian genetic programming, whi...
137
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...