54 search results - page 6 / 11 » Adding parallelism capabilities to ACL2 |
EDOC
2011
IEEE
12 years 8 months ago
2011
IEEE
Abstract—Enterprise Architecture approaches are used to provide rigorous descriptions of the organization-wide environment, manage the alignment of deployed services to the organ...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
Embedded designers now have the capability of offloading software routines into custom applicationspecific hardware blocks. This paper evaluates a domain-specific design system fo...
ISPAN
2005
IEEE
14 years 2 months ago
2005
IEEE
Addition of new nodes to a Sensor Network is a fundamental requirement for their continuity operation over time. We analyze the weakening of security due to node capture when addi...
ICPPW
2006
IEEE
14 years 2 months ago
2006
IEEE
Trust, the fundamental basis of ‘cooperation’ – one of the most important characteristics for the performance of pervasive ad hoc network-- is under serious threat with the ...
CLUSTER
2009
IEEE
13 years 6 months ago
2009
IEEE
GPUs have recently evolved into very fast parallel co-processors capable of executing general purpose computations extremely efficiently. At the same time, multi-core CPUs evolutio...