5159 search results - page 596 / 1032 » Structural Testing of Executables |
202
click to vote
IPPS
2005
IEEE
16 years 1 months ago
2005
IEEE
We propose in this paper a heuristic for mapping a set of interacting tasks of a parallel application onto a heterogeneous computing platform such as a computational grid. Our nov...
228
click to vote
WETICE
2005
IEEE
16 years 1 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
219
click to vote
WETICE
2005
IEEE
16 years 1 months ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
206
click to vote
EGH
2005
Springer
16 years 1 months ago
2005
Springer
Complex shaders must be partitioned into multiple passes to execute on GPUs with limited hardware resources. Automatic partitioning gives rise to an NP-hard scheduling problem tha...
164
click to vote
ICN
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. This paper considers the primary and secondary path generation problem in traffic engineering. We first present a standard MILP model. Since its size and integrality gap...