Sciweavers

1399 search results - page 158 / 280
» Verification of Test Suites
Sort
View
COLING
2010
15 years 1 months ago
Argument Optionality in the LinGO Grammar Matrix
We present a library of implemented HPSG analyses for argument optionality based on typological studies of this phenomenon in the world's languages, developed in the context ...
Safiyyah Saleem, Emily M. Bender
INTERSPEECH
2010
15 years 1 months ago
Shape-invariant speech transformation with the phase vocoder
This paper proposes a new phase vocoder based method for shape invariant real-time modification of speech signals. The performance of the method with respect voiced and unvoiced s...
Axel Röbel
DAC
2001
ACM
16 years 8 months ago
Hardware/Software Instruction Set Configurability for System-on-Chip Processors
New application-focused system-on-chip platforms motivate new application-specific processors. Configurable and extensible processor architectures offer the efficiency of tuned lo...
Albert Wang, Earl Killian, Dror E. Maydan, Chris R...
NSPW
2004
ACM
16 years 11 days ago
Towards agile security assurance
Agile development methodologies are gaining acceptance in the software industry. If they are to be used for constructing securitycritical solutions, what do we do about assurance?...
Konstantin Beznosov, Philippe Kruchten
ADBIS
2006
Springer
135views Database» more  ADBIS 2006»
15 years 10 months ago
Interactive Discovery and Composition of Complex Web Services
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
Sergey A. Stupnikov, Leonid A. Kalinichenko, St&ea...