2257 search results - page 167 / 452 » Secure program partitioning |
109
click to vote
PLDI
2005
ACM
15 years 6 months ago
2005
ACM
This paper describes Automatic Pool Allocation, a transformation framework that segregates distinct instances of heap-based data structures into seperate memory pools and allows h...
119
Voted
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a co-synthesis approach that accelerates reactive software processing by moving the calculation of complex expressions into external combinational hardware. The startin...
158
click to vote
PPOPP
2003
ACM
15 years 6 months ago
2003
ACM
Large-scale cluster-based Internet services often host partitioned datasets to provide incremental scalability. The aggregation of results produced from multiple partitions is a f...
81
Voted
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
Accidental mutation is a major source of difficult-to-detect errors in object-oriented programs. We have built tools that detect and prevent such errors. The tools include a java...
91
Voted
SSS
2005
Springer
15 years 6 months ago
2005
Springer
Dijkstra’s concept of self-stabilization assumes that faults can only affect the variables of a program. We study the notion of selfstabilization if faults can also affect (i.e...