6274 search results - page 764 / 1255 » Proofs, Programs, Processes |
222
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
219
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
194
click to vote
CJ
2010
15 years 4 months ago
2010
A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects. Informally, it states ...
188
click to vote
MICRO
2010
IEEE
15 years 1 months ago
2010
IEEE
Since the non-cache parts of a core are less regular, compared to on-chip caches, tolerating manufacturing defects in the processing core is a more challenging problem. Due to the ...
170
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
—Discriminative Training (DT) methods for acoustic modeling, such as MMI, MCE, and SVM, have been proved effective in speaker recognition. In this paper we propose a DT method fo...