754 search results - page 57 / 151 » Architectural Abstractions for Hybrid Programs |
68
Voted
ROBOCUP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This paper describes a highly modular hierarchical behaviorbased control system for robots. Key features of the architecture include: easy addition/removal of behaviors, ...
ARCS
1997
Springer
15 years 2 months ago
1997
Springer
Before it can achieve wide acceptance, parallelcomputation must be made significantlyeasier to program. One ain obstacles to this goal is the current usage of memory, both abstra...
88
Voted
FATES
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Object models capture key properties of object-oriented architectures, and they can highlight relationships between types, occurrences of sharing, and object encapsulatio...
109
Voted
VLSID
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
76
Voted
DBPL
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. We examine the maintenance of data consistency in the presence of application-database interactions. Currently, a programmer must insert explicit checks to ensure that da...