Sciweavers

1379 search results - page 152 / 276
» Dynamic Program Slicing in Understanding of Program Executio...
Sort
View
HPDC
2005
IEEE
15 years 9 months ago
Genetic algorithm based automatic data partitioning scheme for HPF
good data partitioning scheme is the need of the time. However it is very diflcult to arrive at a good solution as the number of possible dutupartitionsfor a given real lifeprogra...
Sunil Kumar Anand, Y. N. Srikant
IFIP
2003
Springer
15 years 8 months ago
A Novel Approach for Distributed Simulation of Wireless Mobile Systems
Abstract. This position paper introduces the motivation and preliminary implementation issues of a distributed simulation middleware designed to increase the performance and speed-...
Luciano Bononi, Gabriele D'Angelo
NDSS
2009
IEEE
15 years 10 months ago
K-Tracer: A System for Extracting Kernel Malware Behavior
Kernel rootkits can provide user level-malware programs with the additional capabilities of hiding their malicious activities by altering the legitimate kernel behavior of an oper...
Andrea Lanzi, Monirul I. Sharif, Wenke Lee
EDO
2000
Springer
15 years 7 months ago
Component Metadata for Software Engineering Tasks
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....
Alessandro Orso, Mary Jean Harrold, David S. Rosen...
136
Voted
TACAS
2004
Springer
139views Algorithms» more  TACAS 2004»
15 years 8 months ago
Error Explanation with Distance Metrics
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
Alex Groce