1080 search results - page 139 / 216 » Improving Software Inspections by Using Reading Techniques |
USENIX
2008
13 years 11 months ago
2008
Code sandboxing is useful for many purposes, but most sandboxing techniques require kernel modifications, do not completely isolate guest code, or incur substantial performance co...
FORTE
1990
13 years 10 months ago
1990
Formal specifications are a well-known technique for improving software devel the context of OSI communication protocol standards, Formal Description Te (FDT's) have been dev...
BIOINFORMATICS
2007
13 years 9 months ago
2007
Motivation: Clustering technique is used to find groups of genes that show similar expression patterns under multiple experimental conditions. Nonetheless, the results obtained by...
IPPS
2009
IEEE
14 years 3 months ago
2009
IEEE
In many scientific applications, significant time is spent tuning codes for a particular highperformance architecture. Tuning approaches range from the relatively nonintrusive (...
ADAEUROPE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...