3025 search results - page 480 / 605 » Automatic Programming of Robots Using Genetic Programming |
131
Voted
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
120
Voted
TOOLS
2000
IEEE
15 years 7 months ago
2000
IEEE
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of softwar...
126
Voted
RTCSA
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper presents a method for tight prediction of worst-case performance of data caches in highperformance real-time systems. Our approach is to distinguish between data struct...
114
Voted
COMPSAC
1998
IEEE
15 years 6 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
133
Voted
ASPLOS
1998
ACM
15 years 6 months ago
1998
ACM
Thread-level speculation is a technique that enables parallel execution of sequential applications on a multiprocessor. This paper describes the complete implementation of the sup...