5855 search results - page 816 / 1171 » Test generation and minimization with |
183
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
192
click to vote
VLSID
2006
IEEE
16 years 24 days ago
2006
IEEE
This tutorial present the key aspects of design challenges and its solutions that are being experienced in VLSI design in the era of nano technology. The focus will be on design c...
168
click to vote
KBSE
2005
IEEE
16 years 11 days ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...
190
click to vote
SP
2000
IEEE
15 years 11 months ago
2000
IEEE
Today, even a moderately sized corporate intranet contains multiple firewalls and routers, which are all used to enforce various aspects of the global corporate security policy. ...
166
click to vote
SIGUCCS
2000
ACM
15 years 11 months ago
2000
ACM
We presented a paper in Denver that addressed our Remedy design process. At that time we talked about our current development process, but we hadn't implemented the product a...