39039 search results - page 21 / 7808 » Implementation of the |
ENTCS
2010
13 years 7 months ago
2010
We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedure `a la Wolper for testing satisfiability in the linear time temporal ...
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
ICFP
2002
ACM
14 years 7 months ago
2002
ACM
We present a direct implementation of the shift and reset control operators in the Scheme 48 system. The new implementation improves upon the traditional technique of simulating s...
CCECE
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper, we present a new block cipher, referred as PUFFIN2, that is designed to be used with applications requiring very low circuit area. PUFFIN2 is designed to be impleme...
RTSS
2009
IEEE
14 years 2 months ago
2009
IEEE
An empirical study of implementation tradeoffs (choice of ready queue implementation, quantum-driven vs. eventdriven scheduling, and interrupt handling strategy) affecting global ...