5377 search results - page 432 / 1076 » Programming Languages For Interactive Computing |
217
click to vote
SIGCOMM
2003
ACM
16 years 25 days ago
2003
ACM
Packet traces of operational Internet traffic are invaluable to network research, but public sharing of such traces is severely limited by the need to first remove all sensitive...
157
click to vote
SIGCSE
1993
ACM
15 years 11 months ago
1993
ACM
Programming contests can provide a high-profile method for attracting interest in computer science. We describe our philosophy as it pertains to the purpose and merits of program...
217
click to vote
CASC
2010
Springer
15 years 6 months ago
2010
Springer
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametri...
205
click to vote
PPDP
2009
Springer
16 years 2 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
209
click to vote
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...