1145 search results - page 113 / 229 » The Correctness of an Optimized Code Generation |
127
click to vote
JSAC
2007
15 years 4 months ago
2007
— To achieve high performance and resilience to failures, a client can make connections with multiple servers simultaneously and receive different portions of the data from each ...
123
click to vote
EUROMICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
Software components promise easy reuse, dependability, and simplified development. Problems arise when implicit assumptions about the use of the component are encoded in the imple...
172
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Serum profiling using mass spectrometry is an emerging technology with a great potential to provide biomarkers for complex diseases such as cancer. However, protein profiles obtai...
183
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
156
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
We propose an algorithm for efficient threshold network synthesis of arbitrary multi-output Boolean functions. The main purpose of this work is to bridge the wide gap that currentl...