203 search results - page 38 / 41 » Pushdown Module Checking |
94
Voted
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
— In multi-robot systems, task allocation and coordination are two fundamental problems that share high synergy. Although multi-robot architectures typically separate them into d...
109
click to vote
ISCA
2009
IEEE
15 years 6 months ago
2009
IEEE
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
107
click to vote
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
ESEC
1999
Springer
15 years 3 months ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...
132
Voted
FMCAD
2006
Springer
15 years 3 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...