157 search results - page 26 / 32 » Staircase-down SET programming approach for phase-change mem... |
DSN
2005
IEEE
15 years 3 months ago
2005
IEEE
The ability to check memory references against their associated array/buffer bounds helps programmers to detect programming errors involving address overruns early on and thus avo...
SP
2010
IEEE
14 years 7 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
ICPP
2006
IEEE
15 years 3 months ago
2006
IEEE
RNA pseudoknot prediction is an algorithm for RNA sequence search and alignment. An important building block towards pseudoknot prediction is RNA secondary structure prediction. T...
COR
2008
2008
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
14 years 9 months ago
In this paper we analyze the application of parallel and sequential evolutionary algorithms (EAs) to the automatic test data generation problem. The problem consists of automatica...
102
Voted
ENTCS
2007
14 years 9 months ago
2007
Poly-controlled partial evaluation (PCPE) is a flexible approach for specializing logic programs, which has been recently proposed. It takes into account repertoires of global co...