3168 search results - page 172 / 634 » Computing Event Dependencies in System Designs and Programs |
159
click to vote
SIGGRAPH
1991
ACM
15 years 9 months ago
1991
ACM
A major problem challenging opera designers is the inability to coordinate lighting, projection systems, and set designs in the preliminary planning phase. New computer graphics t...
147
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Television broadcasters are beginning to combine social micro-blogging systems such as Twitter with television to create social video experiences around events. We looked at one s...
206
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Today's system programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers find errors in Linux and other systems, ...
162
Voted
ICTAC
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
206
Voted
CONCUR
1991
Springer
15 years 9 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...