1729 search results - page 34 / 346 » Deterministic Expressions in C |
AMAST
2008
Springer
15 years 1 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...
CONCURRENCY
2010
14 years 12 months ago
2010
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...
104
click to vote
ECEASST
2008
14 years 12 months ago
2008
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
CICLING
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we describe systems for automatic labeling of time expressions occurring in English and Chinese text as specified in the ACE Temporal Expression Recognition and Nor...
126
click to vote
ICCV
2005
IEEE
16 years 1 months ago
2005
IEEE
The recognition of facial gestures and expressions in image sequences is an important and challenging problem. Most of the existing methods adopt the following paradigm. First, fa...