5377 search results - page 419 / 1076 » Programming Languages For Interactive Computing |
184
click to vote
ANCS
2008
ACM
15 years 9 months ago
2008
ACM
Nearly all programmable commercial hardware solutions offered for high-speed networking systems are capable of meeting the performance and flexibility requirements of equipment ve...
201
click to vote
ERSHOV
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Information flow exhibited by multithreaded programs is subtle because the attacker may exploit scheduler properties when deducing secret information from publicly observ...
240
click to vote
STOC
2012
ACM
13 years 10 months ago
2012
ACM
We propose a new notion of secure multiparty computation aided by a computationally-powerful but untrusted “cloud” server. In this notion that we call on-the-fly multiparty c...
172
click to vote
CADE
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
312
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...