Sciweavers

1058 search results - page 80 / 212
» MEMOPS: Data modelling and automatic code generation.
Sort
View
SEW
2003
IEEE
14 years 4 months ago
Model-Based Software Testing via Incremental Treatment Learning
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
Dustin Geletko, Tim Menzies
CORR
2008
Springer
158views Education» more  CORR 2008»
13 years 11 months ago
Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell
This paper is an exploration in a functional programming framework of isomorphisms between elementary data types (natural numbers, sets, finite functions, permutations binary deci...
Paul Tarau
ICMCS
2009
IEEE
159views Multimedia» more  ICMCS 2009»
13 years 9 months ago
Acoustic modeling using an extended phone set considering cross-lingual pronunciation variations
To deal with the issue of data unbalanced condition among a task of multilingual speech recognition and a phenomenon of pronunciation variations across languages, we propose an ap...
Dau-Cheng Lyu, Ren-Yuan Lyu, Ming-Tat Ko
VTC
2010
IEEE
132views Communications» more  VTC 2010»
13 years 9 months ago
Throughput Analysis of General Network Coding Nodes Based on SW-ARQ Transmission
The steady-state throughput of general network coding node is investigated, when data is transmitted in packets based on the stopand-wait automatic repeat request (SW-ARQ) error-co...
Yang Qin, Lie-Liang Yang
PLDI
2004
ACM
14 years 4 months ago
Vectorization for SIMD architectures with alignment constraints
When vectorizing for SIMD architectures that are commonly employed by today’s multimedia extensions, one of the new challenges that arise is the handling of memory alignment. Pr...
Alexandre E. Eichenberger, Peng Wu, Kevin O'Brien