16725 search results - page 2855 / 3345 » Engineering Software Correctness |
157
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Code libraries are characterized by feature-richness — and, consequently, high overhead. The library specialization problem is the problem of obtaining a low-overhead version of...
179
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
Science requires collaboration. In this paper, we investigate the feasibility of coupling current social networking techniques to science gateways to provide a scientific collabor...
172
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
171
click to vote
LCTRTS
2009
Springer
16 years 1 months ago
2009
Springer
The fine-grained parallelism inherent in FPGAs has encouraged their use in packet processing systems. Debugging and performance evaluation of such complex designs can be signifi...
191
click to vote
CODES
2009
IEEE
16 years 1 months ago
2009
IEEE
The FlexRay bus is the prospective automotive standard communication system. For the sake of a high flexibility, the protocol includes a static time-triggered and a dynamic event...