1699 search results - page 73 / 340 » On the Expressive Power of QLTL |
99
Voted
AMAST
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
105
click to vote
IANDC
1998
15 years 13 days ago
1998
We set up a formal framework to describe transition system specifications in the style of Plotkin. This framework has the power to express many-sortedness, general binding mechan...
TOSEM
2002
15 years 11 days ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
84
Voted
TSP
2008
15 years 6 days ago
2008
In this paper, we present a powerful technique for the blind extraction of direct-sequence code-division multiple access (DS-CDMA) signals from convolutive mixtures received by an ...
93
Voted
TVLSI
2010
14 years 7 months ago
2010
A new approach for resource based optimization for high performance integrated circuits is presented. The methodology is applied to simultaneous shield and repeater insertion, resu...