4386 search results - page 621 / 878 » A Tamper-Resistant Programming Language System |
132
click to vote
EUROPAR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
115
Voted
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...
142
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
Multi-core processors, with low communication costs and high availability of execution cores, will increase the use of execution and compilation models that use short threads to e...
129
Voted
PADL
2010
Springer
15 years 5 months ago
2010
Springer
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...
124
Voted
ERLANG
2008
ACM
15 years 5 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...