5964 search results - page 1119 / 1193 » A theory of speculative computation |
198
click to vote
SIGMOD
2006
ACM
16 years 19 days ago
2006
ACM
The Swiss National Competence Center for Research in mobile Information and Communication Systems (NCCR-MICS or MICS) is one of several research initiatives sponsored by the Swiss...
82
Voted
ICSE
2007
IEEE-ACM
16 years 17 days ago
2007
IEEE-ACM
This paper suggests the need for a software engineering research community conversation about the future that the community would like to have. The paper observes that the researc...
87
Voted
ICFP
2003
ACM
16 years 14 days ago
2003
ACM
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
104
click to vote
ICFP
2003
ACM
16 years 14 days ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
122
Voted
ICFP
2003
ACM
16 years 14 days ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...