1541 search results - page 293 / 309 » Tools and Techniques for Model Checking Networked Programs |
86
Voted
DSN
2000
IEEE
15 years 4 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
100
click to vote
DSN
2004
IEEE
15 years 4 months ago
2004
IEEE
The progression of implementation technologies into the sub-100 nanometer lithographies renew the importance of understanding and protecting against single-event upsets in digital...
119
Voted
ISLPED
2010
ACM
15 years 18 days ago
2010
ACM
We have developed a system architecture, measuring and modeling techniques, and algorithms for on-line power and energy optimization and thermal management. The starting point for...
125
Voted
APSEC
2004
IEEE
15 years 4 months ago
2004
IEEE
Unit testing is a methodology for testing small parts of an application independently of whatever application uses them. It is time consuming and tedious to write unit tests, and ...
BSL
2004
15 years 8 days ago
2004
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...