1226 search results - page 189 / 246 » Proofs, Programs and Abstract Complexity |
109
click to vote
PADL
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. xml is a language for describing markup languages for structured data. A growing number of applications that process xml documents are transformers, i.e., programs that c...
ISCAS
2008
IEEE
15 years 6 months ago
2008
IEEE
—Software-based self-test (SBST) is a promising new technology for at-speed testing of embedded processors in SoC systems. This paper introduces an effective and efficient new ho...
ADAEUROPE
2008
Springer
15 years 6 months ago
2008
Springer
We consider networked, embedded real-time systems that operate under run-time uncertainties on activity execution times and arrivals, node failures, and message losses. We consider...
105
click to vote
CC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...
EUROPAR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Transactional memory systems trade ease of programming with runtime performance losses in handling transactions. This paper focuses on starvation effects that show up in ...