2364 search results - page 356 / 473 » An Engine for Computing Well-Founded Models |
157
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
148
click to vote
CHI
2000
ACM
15 years 8 months ago
2000
ACM
We have developed a new input device that allows users to intuitively specify three-dimensional coordinates in graphics applications. The device consists of a cubeshaped box with ...
120
click to vote
APNOMS
2006
Springer
15 years 8 months ago
2006
Springer
Distributed fault management and event notification are essential in Inter-AS Traffic Engineering (TE). In this paper we design and implement distributed fault management for WBEM...
172
click to vote
DAC
2008
ACM
15 years 6 months ago
2008
ACM
Graphene nanoribbon FETs (GNRFETs) are promising devices for beyond-CMOS nanoelectronics because of their excellent carrier transport properties and potential for large scale proc...
167
click to vote
BRAIN
2010
Springer
15 years 5 months ago
2010
Springer
Cognitive informatics studies the natural intelligence and the brain from a theoretical and a computational approach, which rigorously explains the ms of the brain by a fundamental...