1640 search results - page 17 / 328 » Design of Synchronous Action Systems |
138
Voted
AOSD
2007
ACM
15 years 7 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...
126
Voted
CDC
2010
IEEE
14 years 10 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...
134
Voted
ATVA
2005
Springer
15 years 9 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...
155
Voted
ESAW
2008
Springer
15 years 5 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...
128
Voted
IPPS
2002
IEEE
15 years 8 months 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...