Sciweavers

1559 search results - page 166 / 312
» Fundamentals of Generic Programming
Sort
View
ICASSP
2011
IEEE
14 years 1 months ago
Improved pos tagging for text-to-speech synthesis
One of the fundamental building blocks of text processing for textto-speech (TTS) synthesis is the assignment of a part-of-speech (POS) tag to each input word. POS tags are heavil...
Ming Sun, Jerome R. Bellegarda
PLDI
2012
ACM
13 years 12 days ago
Parallelizing top-down interprocedural analyses
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sri...
OTM
2007
Springer
15 years 4 months ago
Building Adaptive Systems with Service Composition Frameworks
Frameworks that support the implementation and execution of service compositions are a fundamental component of middleware infrastructures that support the design of adaptive syste...
Liliana Rosa, Luís Rodrigues, Antóni...
FOAL
2007
ACM
15 years 1 months ago
Specializing continuations a model for dynamic join points
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dyna...
Christopher Dutchyn
CSFW
2004
IEEE
15 years 1 months ago
By Reason and Authority: A System for Authorization of Proof-Carrying Code
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
Nathan Whitehead, Martín Abadi, George C. N...