4799 search results - page 891 / 960 » Model Based Requirements Engineering for Embedded Software |
126
Voted
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this work, we introduce the class of Interrupt Timed Automata (ITA), which are well suited to the description of multi-task systems with interruptions in a single proc...
113
Voted
FOSSACS
2005
Springer
15 years 8 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
120
Voted
FSTTCS
2004
Springer
15 years 8 months ago
2004
Springer
A computational model for learning languages in the limit from full positive data and a bounded number of queries to the teacher (oracle) is introduced and explored. Equivalence, ...
134
Voted
HPDC
1993
IEEE
15 years 7 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
132
Voted
TCAD
2010
14 years 9 months ago
2010
The structural redundancy inherent to on-chip interconnection networks [networks on chip (NoC)] can be exploited by adaptive routing algorithms in order to provide connectivity eve...