1163 search results - page 122 / 233 » Case Studies of Model Checking for Embedded System Designs |
114
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract. Rent's rule and related concepts of connectivity such as dimensionality, line-length distributions, and separators have found great use in fundamental studies of di ...
181
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
143
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
158
Voted
RTSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
127
click to vote
JSAC
2006
15 years 4 months ago
2006
This paper focuses on the interaction between the Transport Control Protocol (TCP) layer and the radio interface in the High Speed Downlink Packet Access (HSDPA) wireless system. I...