6750 search results - page 172 / 1350 » Performance Analysis Framework for Layout Analysis Methods |
149
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
129
click to vote
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
Ultra-deep submicron manufacturability impacts physical design (PD) through complex layout rules and large guardbands for process variability; this creates new requirements for ne...
153
click to vote
RTCSA
2005
IEEE
15 years 10 months ago
2005
IEEE
In this report, we propose an approach to integrate a hybrid garbage collection algorithm into the current response time analysis framework for real-time systems. In our approach,...
127
Voted
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
147
click to vote
ISSE
2006
15 years 4 months ago
2006
Providing and managing security for large networked systems is difficult because their size and complexity makes manual design and management nearly impossible. Current security m...