5775 search results - page 288 / 1155 » A Rationale-based Analysis Tool |
131
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper derives the multi-layer heat conduction Green’s function, by integrating the eigen-expansion technique and the classic transmission line theories, and presents a loga...
171
click to vote
IH
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In this paper a novel theoretical security analysis will be presented for data hiding methods with side-information, based on Costa’s dirty paper scheme. We quantify th...
150
Voted
WER
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents J-RAn (Java Requirement Analyzer), a tool that implements a novel Content Analysis technique to support the verification of consistency and completeness of a So...
173
click to vote
FORMATS
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
166
Voted
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
Capacitance coupling can have a significant impact on gate delay in today's deep submicron circuits. In this paper we present a static timing analysis tool that calculates th...