1760 search results - page 123 / 352 » A System to Mark Programs Automatically |
142
click to vote
GECCO
2009
Springer
15 years 9 months ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...
149
click to vote
EUROMICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
126
Voted
GI
1998
Springer
15 years 7 months ago
1998
Springer
The IMB Jena Image Library of Biological Macromolecules (http://www.imb-jena.de/IMAGE.html) is a freely accessible Internet archive with three-dimensional (3D) structural informat...
118
click to vote
ICSM
1999
IEEE
15 years 7 months ago
1999
IEEE
Software systems are typically modified in order to extend or change their functionality, improve their performance, port them to different platforms, and so on. For developers, i...
135
click to vote
CAV
2004
Springer
15 years 6 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...