1760 search results - page 72 / 352 » Program Analysis Using Weighted Pushdown Systems |
127
Voted
JACM
2011
14 years 3 months ago
2011
This paper is about a curious phenomenon. Suppose we have a data matrix, which is the superposition of a low-rank component and a sparse component. Can we recover each component i...
103
Voted
WSC
2000
15 years 1 months ago
2000
Analytical models for the dynamics of some discrete event systems are introduced where the system trajectories are solutions to linear and mixed-integer programs. 1 BACKGROUND The...
143
click to vote
MSR
2005
ACM
15 years 6 months ago
2005
ACM
Most computer science educators hold strong opinions about the “right” approach to teaching introductory level programming. Unfortunately, we have comparatively little hard ev...
131
click to vote
ASPLOS
2004
ACM
15 years 5 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
HPCC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...