565 search results - page 19 / 113 » Software Techniques for Improving MPP Bulk-Transfer Performa... |
MICRO
2003
IEEE
14 years 2 months ago
2003
IEEE
Due to the widespread software piracy and virus attacks, significant efforts have been made to improve security for computer systems. For stand-alone computers, a key observation...
HICSS
1999
IEEE
14 years 1 months ago
1999
IEEE
Many transportation providers such as package delivery companies and postal service organizations face the problem of designing a transportation network in order to service their ...
METRICS
2002
IEEE
14 years 1 months ago
2002
IEEE
Process assessment or process improvement is usually not considered in the context of Web applications, and the differences between Web applications and traditional applications a...
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
Evolutionary testing denotes the use of evolutionary algorithms, e.g., Genetic Algorithms (GAs), to support various test automation tasks. Since evolutionary algorithms are heuris...
TCAD
2008
13 years 8 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...