Sciweavers

6740 search results - page 237 / 1348
» Using Classification as a Programming Language
Sort
View
AMS
2005
Springer
112views Robotics» more  AMS 2005»
15 years 7 months ago
Combining Learning and Programming for High-Performance Robot Controllers
Abstract. The implementation of high-performance robot controllers for complex control tasks such as playing autonomous robot soccer is tedious, errorprone, and a never ending prog...
Alexandra Kirsch, Michael Beetz
116
Voted
APSEC
2004
IEEE
15 years 6 months ago
Binary-Level Lightweight Data Integration to Develop Program Understanding Tools for Embedded Software in C
In embedded software development, the programming language C and inline assembly code are traditionally widely used. However, tools for C program-understanding, e.g., cross-refere...
Katsuhiko Gondow, Tomoya Suzuki II, Hayato Kawashi...
MODELS
2010
Springer
15 years 22 days ago
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
Pieter Van Gorp, Rik Eshuis
PADL
2004
Springer
15 years 7 months ago
An Implementation of Session Types
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...
Matthias Neubauer, Peter Thiemann
113
Voted
ECOOP
2010
Springer
15 years 7 months ago
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
Scott Owens