502 search results - page 66 / 101 » Model Checking Timed Systems with Priorities |
193
click to vote
RTS
2010
15 years 21 days ago
2010
Automatic memory management or garbage collection greatly simplifies development of large systems. However, garbage collection is usually not used in real-time systems due to the u...
183
click to vote
RTAS
2006
IEEE
15 years 12 months ago
2006
IEEE
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...
159
click to vote
TOOLS
2008
IEEE
16 years 10 days ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
179
click to vote
DATE
2009
IEEE
16 years 21 days ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
169
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...