3025 search results - page 188 / 605 » Automatic Programming of Robots Using Genetic Programming |
129
Voted
PUC
1998
15 years 3 months ago
1998
In this paper we describe a way to save and restore the state of a running Java program. We achieve this on the language level, without modifying the Java virtual machine, by instr...
149
Voted
JOT
2010
15 years 1 months ago
2010
Design contracts can be used in software development to ensure the preservation of assertions for program correctness. This can increase reliability in software design. Design by ...
153
click to vote
CSFW
2007
IEEE
15 years 7 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
170
Voted
DAGSTUHL
2001
15 years 4 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
228
Voted
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Application frameworks provide reusable concepts that are instantiated in application code through potentially complex implementation steps such as subclassing, implement...