2477 search results - page 152 / 496 » Parallelizing Functional Programs by Generalization |
107
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— In this paper we consider several problems involving control with limited actuation and sampling rates. Event-based control has emerged as an attractive approach for ad...
129
Voted
SAIG
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...
121
Voted
AC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
181
Voted
CPP
2011
14 years 2 months ago
2011
Parsing text to identify grammatical structure is a common task, especially in relation to programming languages and associated tools such as compilers. Parsers for context-free g...
96
Voted
CRYPTO
2000
Springer
15 years 7 months ago
2000
Springer
Secure Function Evaluation (SFE) protocols are very hard to design, and reducibility has been recognized as a highly desirable property of SFE protocols. Informally speaking, reduc...