581 search results - page 82 / 117 » Race analysis for SystemC using model checking |
ECSA
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
3DIM
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we present a new algorithm to reconstruct 3D surfaces from an unorganized point cloud based on generalizing the MPU implicit algorithm through introducing a powerfu...
CSCW
1998
ACM
13 years 12 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...
IEEEARES
2009
IEEE
13 years 5 months ago
2009
IEEE
Security is a crucial issue in many modern software systems and can lead to immense costs if required security goals are not fulfilled. Fewer techniques exist to address the syste...