1640 search results - page 17 / 328 » Design of Synchronous Action Systems |
AOSD
2007
ACM
13 years 11 months ago
2007
ACM
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
This paper deals with the Permanent Magnet Synchronous Motor (PMSM) observability analysis for sensorless control design. The problem of loss of observability at low frequency rang...
ATVA
2005
Springer
14 years 1 months ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
ESAW
2008
Springer
13 years 9 months ago
2008
Springer
The complexity of engineers tasks leads us to provide means to bring the Adaptive Multi-Agent Systems (AMAS) design to a higher stage of automation and confidence thanks to Model D...
IPPS
2002
IEEE
14 years 12 days ago
2002
IEEE
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit speci...