153 search results - page 31 / 31 » Smart Simulation Using Collaborative Formal and Simulation E... |
TASE
2010
IEEE
13 years 12 hour ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
HYBRID
2010
Springer
13 years 7 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
PLDI
2004
ACM
13 years 10 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...