54 search results - page 1 / 11 » Adding parallelism capabilities to ACL2 |
ACL2
2006
ACM
13 years 10 months ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
IPPS
2006
IEEE
13 years 10 months ago
2006
IEEE
Malicious network traffic, including widespread worm activity, is a growing threat to Internet-connected networks and hosts. In this paper, we propose a network intrusion detectio...
IJACTAICIT
2010
13 years 2 months ago
2010
The MTS-88.c trainer is a training system targeting students in the microprocessors course. It has a built in single-line assembler allowing the users to enter programs in assembl...
ENVSOFT
2008
13 years 4 months ago
2008
The decoupled direct method in three dimensions (DDM-3D) provides an efficient and accurate approach for probing the sensitivity of atmospheric pollutant concentrations to various...
MDM
2007
Springer
13 years 11 months ago
2007
Springer
The engineering community has recently begun to adopt wireless sensing technologies for use in many sensing applications. These low-cost sensors provide an optimal setting for den...