Sciweavers

198 search results - page 10 / 40
» Concurrent Control Systems: From Grafcet to VHDL
Sort
View
IJCAI
1997
14 years 11 months ago
Robust Periodic Planning and Execution for Autonomous Spacecraft
The New Millennium Remote Agent (NMRA) will be the rst on-board AI system to control an actual spacecraft. The spacecraft domain raises a number of challenges for planning and exe...
Barney Pell, Erann Gat, Ron Keesing, Nicola Muscet...
FPL
2007
Springer
124views Hardware» more  FPL 2007»
15 years 3 months ago
A Quantitative Prediction Model for Hardware/Software Partitioning
An important step in Heterogeneous System Development is Hardware/Software Partitioning. This process involves exploring a huge design space. By using profiling to select hot-spo...
Roel Meeuws, Yana Yankova, Koen Bertels, Georgi Ga...
LCTRTS
2010
Springer
14 years 7 months ago
Translating concurrent action oriented specifications to synchronous guarded actions
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
Jens Brandt, Klaus Schneider, Sandeep K. Shukla
DAC
2000
ACM
15 years 10 months ago
Compiling Esterel into sequential code
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
Stephen A. Edwards
ASPDAC
2004
ACM
83views Hardware» more  ASPDAC 2004»
15 years 3 months ago
A procedure for obtaining a behavioral description for the control logic of a non-linear pipeline
Much attention has been directed to different aspects of the design of pipelines [1,2,3,4]. Design of the control logic of non-linear pipelines has however, been considered as a su...
Hashem Hashemi Najaf-abadi