5377 search results - page 815 / 1076 » Programming Languages For Interactive Computing |
118
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
185
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
128
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Component-oriented programming facilitates the development of reusable application parts encapsulated by welldefined interfaces. There is however a tension between compatibility ...
154
Voted
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Parameterization is an effective technique for building flexible, reusable software. When dealing with parameterized components, an important concern is the time at which parame...
138
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...