4018 search results - page 129 / 804 » Process algebra for performance evaluation |
128
Voted
ICPPW
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a methodology for aiding a scientific programmer to evaluate the performance of parallel programs on advanced architectures. It applies well-defined design o...
150
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
A K∗ -sparse vector x∗ ∈ RN produces measurements via linear dimensionality reduction as u = Φx∗ + n, where Φ ∈ RM×N (M < N), and n ∈ RM consists of independent ...
143
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
In service-oriented environments, the fluidity of the marketplace introduces changes in service offerings and subsequent connection failures for users still bound to outdated serv...
136
Voted
AML
2010
15 years 3 months ago
2010
In Abstract Algebraic Logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this proce...
136
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Interaction with mobile devices that are intended for everyday use is challenging since such systems are continuously optimized towards small outlines. Watches are a particularl...