2875 search results - page 561 / 575 » Model checking agentspeak |
181
click to vote
IEEEPACT
2006
IEEE
16 years 14 days ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
149
click to vote
RTSS
2006
IEEE
16 years 13 days ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
169
click to vote
ISSTA
2006
ACM
16 years 12 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
194
click to vote
SIGSOFT
2006
ACM
16 years 11 days ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
169
Voted
ASAP
2005
IEEE
16 years 1 days ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...