5536 search results - page 129 / 1108 » Programming Languages for Distributed Applications |
168
click to vote
POPL
2012
ACM
14 years 18 days ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
127
click to vote
OPODIS
2008
15 years 6 months ago
2008
We focus on automated revision techniques for adding Unity properties to distributed programs. We show that unlike centralized programs, where multiple safety properties along with...
163
Voted
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
138
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
The excessive complexity of both machine architectures and applications have made it difficult for compilers to statically model and predict application behavior. This observatio...
156
click to vote
AICCSA
2001
IEEE
15 years 8 months ago
2001
IEEE
Debugging and testing is a larger part of the effort spent in a software development cycle. Debugging a program is time consuming and is a continuous cycle of code modification an...