11066 search results - page 354 / 2214 » Linearity in Process Languages |
170
click to vote
ICASSP
2008
IEEE
16 years 21 days ago
2008
IEEE
In the context of deployed spoken dialogue telecom services, we introduce a preprocessor called Fiction into the Spoken Language Understanding (SLU) component. It acts as an inter...
136
click to vote
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
Eden is a parallel extension of the functional language Haskell. Eden inherits from Haskell its laziness, which allows it to avoid unnecessary computations. However, in order to en...
188
click to vote
IEEEPACT
2006
IEEE
16 years 8 days ago
2006
IEEE
This paper describes a compiler for stream programs that efficiently schedules computational kernels and stream memory operations, and allocates on-chip storage. Our compiler uses...
151
click to vote
CODES
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper proposes a new efficient buffer management technique called shift buffering for automatic code synthesis from synchronous dataflow graphs (SDF). Two previous buffer man...
176
click to vote
FMCO
2007
Springer
16 years 12 days ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...