4067 search results - page 136 / 814 » Programs for Applying Symmetries |
CEC
2008
IEEE
14 years 2 months ago
2008
IEEE
— Graphics processor units are fast, inexpensive parallel computing devices. Recently there has been great interest in harnessing this power for various types of scientific comp...
SCAM
2007
IEEE
14 years 2 months ago
2007
IEEE
Program slicing is a program-reduction technique for extracting statements that may influence other statements. While there exist efficient algorithms to slice sequential progra...
ATVA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...
ADHOCNOW
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Current in-network programming protocols for sensor networks allow an attacker to gain control of the network or disrupt its proper functionality by disseminating malicio...
DIAGRAMS
2004
Springer
14 years 1 months ago
2004
Springer
This paper investigates whether first year programming students can be helped to understand program behaviour through the use of Object (Instance) diagrams. Students were introduce...