4820 search results - page 286 / 964 » Implementing Signatures for C |
162
click to vote
IASTEDSE
2004
15 years 5 months ago
2004
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
111
click to vote
USENIX
2001
15 years 5 months ago
2001
We present a pragmatic methodology for designing nonblocking real-time systems. Our methodology uses a combination of lock-free and wait-free synchronization techniques and clearl...
134
click to vote
ENTCS
2007
15 years 3 months ago
2007
Automated deduction methods should be specified not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, di...
150
click to vote
CLOUDCOM
2010
Springer
15 years 1 months ago
2010
Springer
-- The MapReduce programming model, introduced by Google, has become popular over the past few years as a mechanism for processing large amounts of data, using sharednothing parall...
122
click to vote
NDSS
2007
IEEE
15 years 10 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...