1448 search results - page 111 / 290 » Restricted Stack Implementations |
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
CAV
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We present an extrapolation with care set operator to accelerate termination of reachability computation with polyhedra. At the same time, a counterexample guided refine...
OTM
2007
Springer
14 years 1 months ago
2007
Springer
The implementation of service-oriented device architectures (SODA) suffers from restrictions that are imposed by the use of existing syntactic technologies. Related problems includ...
SAINT
2006
IEEE
14 years 1 months ago
2006
IEEE
The performance of RFID anti-collision protocols that are based on framed ALOHA depends on a transmission scheme that controls access to the shared channel. In this paper, we outl...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we present a software compilation approach for microprocessor/FPGA platforms that partitions a software binary onto custom hardware implemented in the FPGA. Our app...