1763 search results - page 42 / 353 » A Formalization of Polytime Functions |
105
click to vote
APSEC
2001
IEEE
15 years 1 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
AMAI
2004
Springer
15 years 3 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
COMPSAC
1997
IEEE
15 years 1 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
111
click to vote
ITP
2010
14 years 11 months ago
2010
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
EMNLP
2008
14 years 11 months ago
2008
We present a novel method for discovering and modeling the relationship between informal Chinese expressions (including colloquialisms and instant-messaging slang) and their forma...