10159 search results - page 442 / 2032 » System Design Validation Using Formal Models |
140
click to vote
ACSD
2004
IEEE
15 years 8 months ago
2004
IEEE
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...
128
click to vote
ISCA
2000
IEEE
15 years 9 months ago
2000
IEEE
As microprocessors continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models and sy...
176
click to vote
CSCW
1998
ACM
15 years 9 months ago
1998
ACM
Collaborative filtering systems help address information overload by using the opinions of users in a community to make personal recommendations for documents to each user. Many c...
167
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
119
Voted
WSC
2007
15 years 7 months ago
2007
Recent reports have established the need for change in the US health system. Building projects can play an important role in enabling change to support organizational objectives. ...