3564 search results - page 417 / 713 » Evaluating a Formal Modelling Language |
112
click to vote
CAV
2012
Springer
13 years 6 months ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
240
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
134
click to vote
POPL
2000
ACM
15 years 7 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
157
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
In this paper pseudo 3-D Hidden Markov Models (P3DHMMs) are applied to the task of dynamic facial expression recognition. P3DHMMs are an extension of the pseudo 2-D case, which ha...
138
click to vote
CLEIEJ
2002
15 years 3 months ago
2002
Function Point Analysis (FPA) is among the most commonly used techniques to estimate the size of software system projects or software systems. During the point counting process th...