557 search results - page 54 / 112 » Useful Transformations in Answer set programming |
115
click to vote
SCAM
2006
IEEE
15 years 8 months ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
105
click to vote
TPDS
1998
15 years 2 months ago
1998
—The way the processes in a parallel program are scheduled on the processors of a multiprocessor system affects the performance significantly. Finding a schedule of processes to ...
119
click to vote
IEEEPACT
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Load elimination is a classical compiler transformation that is increasing in importance for multi-core and many-core architectures. The effect of the transformation is ...
118
Voted
RE
2007
Springer
15 years 8 months ago
2007
Springer
We present details of a goal-oriented process for database requirements analysis. This process consists of a number of steps, spanning the spectrum from high-level stakeholder goa...
125
click to vote
ACSD
2010
IEEE
15 years 13 days ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...