526 search results - page 95 / 106 » Type Abstractions of Name-Passing Processes |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract-Two dimensional (2D) integration has been the traditional approach for IC integration. Increasing demands for providing electronic devices with superior performance and fu...
FAC
2007
13 years 8 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
POPL
2002
ACM
14 years 9 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
PPOPP
2009
ACM
14 years 9 months ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
The decision tree is one of the most fundamental ing abstractions. A commonly used type of decision tree is the alphabetic binary tree, which uses (without loss of generality) &quo...