6274 search results - page 717 / 1255 » Proofs, Programs, Processes |
177
click to vote
SARA
2007
Springer
16 years 1 months ago
2007
Springer
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
195
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
The MISP Processor is a programmable media processor which supports multi-issuing, multi-threading and stream processing techniques. MISP executes applications that have been mapp...
169
click to vote
ICSM
2006
IEEE
16 years 1 months ago
2006
IEEE
Long-running applications such as network services require continuous uptime but also frequent changes to the software. To avoid downtime for software maintenance, applications mu...
178
click to vote
ERLANG
2006
ACM
16 years 1 months ago
2006
ACM
Erlang/OTP's DBMS Mnesia is lacking in several important areas to consider when implementing very large databases with massive scalability requirements. This article reveals ...
196
click to vote
ERLANG
2006
ACM
16 years 1 months ago
2006
ACM
This paper describes the lessons learnt when internally developing web applications in Erlang. On the basis of these experiences, a framework called the Web Platform has been impl...