9626 search results - page 1760 / 1926 » Invariant Based Programming |
132
click to vote
CSE
2011
IEEE
14 years 2 months ago
2011
IEEE
—Data encryption and decryption are common operations in a network based application programs with security. In order to keep pace with the input data rate in such applications, ...
137
Voted
DAC
2011
ACM
14 years 2 months ago
2011
ACM
Memory consistency litmus tests are small parallel programs that are designed to illustrate subtle differences between memory consistency models by exhibiting different outcomes...
201
Voted
ESORICS
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. Trigger-based code (malicious in many cases, but not necessarily) only executes when specific inputs are received. Symbolic execution has been one of the most powerful t...
105
click to vote
CORR
2012
Springer
13 years 10 months ago
2012
Springer
: Software development is still based on manufactory production, and most of the programming code is still hand-crafted. Software development is very far away from the ultimate goa...
168
Voted
PC
2012
13 years 10 months ago
2012
— The frenetic development of the current architectures places a strain on the current state-of-the-art programming environments. Harnessing the full potential of such architectu...