Sciweavers

3025 search results - page 466 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
120
Voted
LCPC
2005
Springer
15 years 8 months ago
Lightweight Monitoring of the Progress of Remotely Executing Computations
Abstract. The increased popularity of grid systems and cycle sharing across organizations requires scalable systems that provide facilities to locate resources, to be fair in the u...
Shuo Yang, Ali Raza Butt, Y. Charlie Hu, Samuel P....
145
Voted
AFP
2004
Springer
128views Formal Methods» more  AFP 2004»
15 years 8 months ago
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
149
Voted
POPL
1993
ACM
15 years 6 months ago
Graph Types
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
Nils Klarlund, Michael I. Schwartzbach
109
Voted
ECOOP
2007
Springer
15 years 6 months ago
Making Programmers Aware Of Refactorings
Modern integrated development environments, such as ECLIPSE, provide automated or semi-automated refactoring support. Despite this support, refactorings are often done manually --...
Peter Weißgerber, Benjamin Biegel, Stephan D...
142
Voted
ECOOP
2006
Springer
15 years 6 months ago
Automated Detection of Refactorings in Evolving Components
Abstract. One of the costs of reusing software components is updating applications to use the new version of the components. Updating an application can be error-prone, tedious, an...
Danny Dig, Can Comertoglu, Darko Marinov, Ralph E....