4281 search results - page 130 / 857 » How to Disembed a Program |
133
click to vote
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
110
Voted
SP
2000
IEEE
15 years 6 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
106
Voted
FMICS
2010
Springer
15 years 2 months ago
2010
Springer
Bitwise instructions, loops and indirect data access pose difficult challenges to the verification of microcontroller programs. In particular, it is necessary to show that an indir...
125
click to vote
SAS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
150
Voted
ICDCS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—The distributed nature and large scale of MapReduce programs and systems poses two challenges in using existing profiling and debugging tools to understand MapReduce pr...