573 search results - page 76 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
WCET
2007
14 years 11 months ago
2007
Worst-case execution time (WCET) analysis is indispensable for the successful design and development of systems, which, in addition to their functional constraints, have to satisf...
AICCSA
2001
IEEE
15 years 1 months ago
2001
IEEE
In this paper, we propose a new version of the topological maps algorithm, which has been used to cluster web site visitors. These are characterized by partially redundant variabl...
104
click to vote
TPDS
2010
14 years 8 months ago
2010
—One of the major applications of wireless ad hoc networks is to extend the Internet coverage and support pervasive and efficient data dissemination and sharing. To reduce data a...
TVLSI
2008
14 years 9 months ago
2008
To satisfy the advanced forward-error-correction (FEC) standards, in which the Convolutional code and Turbo code may co-exit, a prototype design of a unified Convolutional/Turbo de...
ICWS
2010
IEEE
14 years 7 months ago
2010
IEEE
WS-Policy is a standard to express requirements and capabilities in Web service systems. Policies are based on domain-specific assertions. In this paper we present a lightweight ap...