1760 search results - page 73 / 352 » A System to Mark Programs Automatically |
122
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Developing large-scale distributed applications can be a daunting task. One of the problems that application developers are confronted with is the distribution of data, processes, ...
132
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Workload, platform, and available resources constitute a parallel program’s execution environment. Most parallelization efforts statically target an anticipated range of environ...
134
Voted
POPL
2000
ACM
15 years 7 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
122
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
139
Voted
KI
1995
Springer
15 years 6 months ago
1995
Springer
The integration of vision and natural languageprocessingincreasingly attracts attention in different areas of AI research. Up to now, however, there have only been a few attempts a...