2944 search results - page 253 / 589 » On Well Quasi-orders on Languages |
247
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
In recent research, we have proposed a framework for highlevel specification of interactive, data-driven Web applications and established theoretical foundations for their verific...
159
click to vote
CC
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...
144
click to vote
CP
2009
Springer
16 years 1 months ago
2009
Springer
Multi-objective optimization is concerned with problems involving multiple measures of performance which should be optimized simultaneously. In this paper, we extend AND/OR Branch-...
184
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
The SRI speaker recognition system for the 2008 NIST speaker recognition evaluation (SRE) incorporates a variety of models and features, both cepstral and stylistic. We highlight ...
302
click to vote
DELTA
2006
IEEE
16 years 20 days ago
2006
IEEE
The co-design of hardware and software systems with object oriented design languages like SystemC has become very popular. Static analysis of those descriptions allows to conduct ...