Sciweavers

2604 search results - page 439 / 521
» Process Change Support Features
Sort
View
IVA
2007
Springer
15 years 8 months ago
The CereVoice Characterful Speech Synthesiser SDK
CereProc R Ltd. have recently released a beta version of a commercial unit selection synthesiser featuring XML control of speech style. The system is freely available for academic ...
Matthew P. Aylett, Christopher J. Pidcock
MIDDLEWARE
2007
Springer
15 years 8 months ago
SPS: a middleware for multi-user sensor systems
With the increased realisation of the benefits of studying environmental data, sensor networks are rapidly scaling in size, heterogeneity of data, and applications. In this paper...
Salman Taherian, Jean Bacon
OOPSLA
2007
Springer
15 years 8 months ago
Software speculative multithreading for Java
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
Christopher J. F. Pickett
PLDI
2006
ACM
15 years 8 months ago
Termination proofs for systems code
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
Byron Cook, Andreas Podelski, Andrey Rybalchenko
PPPJ
2006
ACM
15 years 8 months ago
Aranea: web framework construction and integration kit
Currently there exist dozens of web controller frameworks that are incompatible, but at the same time have large portions of overlapping functionality that is implemented over and...
Oleg Mürk, Jevgeni Kabanov