5377 search results - page 619 / 1076 » Programming Languages For Interactive Computing |
187
click to vote
HASKELL
2006
ACM
16 years 14 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
162
click to vote
PLDI
1998
ACM
15 years 10 months ago
1998
ACM
In conventional superscalar microarchitectures with partitioned integer and floating-point resources, all floating-point resources are idle during execution of integer programs....
196
click to vote
VL
2006
IEEE
16 years 15 days ago
2006
IEEE
Now that we have end-user programming environments capable of empowering kids with no programming background to build games in a matter of hours, a new quest for raising the ceili...
174
click to vote
PPOPP
2012
ACM
14 years 2 months ago
2012
ACM
Lock-freedom is a progress guarantee that ensures overall program progress. Wait-freedom is a stronger progress guarantee that ensures the progress of each thread in the program. ...
153
click to vote
CIMCA
2008
IEEE
16 years 29 days ago
2008
IEEE
We introduce a language for the representation of a subset of strategic interactions. The representation is based on petri nets. Representable games are restricted to have a fini...