1913 search results - page 156 / 383 » Architectural Concepts in Programming Languages |
119
Voted
ASIAN
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
108
click to vote
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we describe NaCIN, an Eclipse plug-in that records a developer’s code navigation activity and produces sets of elements potentially implementing different concerns...
245
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
249
click to vote
Book
"Inside the Java Virtual Machine explains Java's architecture and internals, and several Java APIs closely tied to the virtual machine, to Java programmers. Reading this ...
151
click to vote
APIN
1998
15 years 3 months ago
1998
Evolutionary design of neural networks has shown a great potential as a powerful optimization tool. However, most evolutionary neural networks have not taken advantage of the fact ...