3302 search results - page 491 / 661 » Software Is More Than Code |
198
click to vote
ECOOPW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
161
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
We present a new lockset-based algorithm, Goldilocks, for precisely computing the happens-before relation and thereby detecting data-races at runtime. Dynamic race detection algori...
153
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
The boundary labeling problem was recently introduced in [5] as a response to the problem of labeling dense point sets with large labels. In boundary labeling, we are given a recta...
136
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
We observe that pushdown tree automata (PTAs) known in the literature cannot express combinations of branching and pushdown properties. This is because a PTA processes the children...
160
click to vote
CASES
2001
ACM
15 years 10 months ago
2001
ACM
Current development tools for embedded real-time systems do not efficiently support the timing aspect. The most important timing parameter for scheduling and system analysis is th...