Sciweavers

733 search results - page 29 / 147
» Embedded Architecture Description Language
Sort
View
APN
2007
Springer
14 years 5 months ago
Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool
Workcraft is a framework for the simulation, conversion and analysis of the SDFS models. The plug-in based architecture with embedded scripting language makes the framework an eas...
Ivan Poliakov, Danil Sokolov, Andrey Mokhov
IFIP
2010
Springer
13 years 5 months ago
Rialto 2.0: A Language for Heterogeneous Computations
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...
Johan Lilius, Andreas Dahlin, Lionel Morel
ESOP
1992
Springer
14 years 3 months ago
A Provably Correct Compiler Generator
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
Jens Palsberg
AI
1999
Springer
13 years 10 months ago
Using Grice's maxim of Quantity to select the content of plan descriptions
Intelligent systems are often called upon to form plans that direct their own or other agents' activities. For these systems, the ability to describe plans to people in natur...
R. Michael Young
ATAL
1995
Springer
14 years 2 months ago
Experiences with an Architecture for Intelligent, Reactive Agents
This paper describes an implementation of the 3T robot architecture which has been under development for the last eight years. The architecs three levels of abstraction and descri...
R. Peter Bonasso, David Kortenkamp, David P. Mille...