3239 search results - page 551 / 648 » A Logical Process Calculus |
92
Voted
GLVLSI
2009
IEEE
15 years 7 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
89
Voted
IAT
2009
IEEE
15 years 7 months ago
2009
IEEE
—High level conceptual thought seems to be at the basis of the impressive human cognitive ability. Classical topdown (Logic based) and bottom-up (Connectionist) approaches to the...
116
click to vote
WCRE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Current malware is often transmitted in packed or encrypted form to prevent examination by anti-virus software. To analyze new malware, researchers typically resort to dynamic c...
IEEEPACT
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—In order to harness the full compute power of manycore processors, future designs must focus on effective utilization of on-chip cache and bandwidth resources. In this p...
92
Voted
IEEESCC
2009
IEEE
15 years 7 months ago
2009
IEEE
In Ambient Intelligence (AmI) environments, some services provided by AmI devices are often not visible to users and to other devices. The existing approaches deal with services...