4386 search results - page 510 / 878 » A Tamper-Resistant Programming Language System |
130
click to vote
IFIP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This position paper introduces the motivation and preliminary implementation issues of a distributed simulation middleware designed to increase the performance and speed-...
138
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
136
click to vote
WSC
2000
15 years 6 months ago
2000
Input modeling that involves fitting standard univariate parametric probability distributions is typically performed using an input modeling package. These packages typically fit ...
147
Voted
ICFP
2009
ACM
15 years 11 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
148
Voted
IWMM
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...