1239 search results - page 128 / 248 » Applying Model Checking to Concurrent UML Models |
133
click to vote
RTAS
2009
IEEE
15 years 10 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
183
Voted
SBMF
2010
Springer
14 years 10 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
145
Voted
ICCAD
2006
IEEE
16 years 14 days ago
2006
IEEE
Efficient communication modeling is a critical task in SoC design and exploration. In particular, fast and accurate communication is needed to predict the performance of a system....
131
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
148
Voted
SAC
2000
ACM
15 years 8 months ago
2000
ACM
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...