Sciweavers

4743 search results - page 451 / 949
» Introduction to Functional Programming
Sort
View
QSIC
2003
IEEE
16 years 3 days ago
Character String Predicate Based Automatic Software Test Data Generation
A character string is an important element in programming. A problem that needs further research is how to automatically generate software test data for character strings. This pa...
Ruilian Zhao, Michael R. Lyu
ICES
2003
Springer
101views Hardware» more  ICES 2003»
16 years 1 days ago
A Developmental Method for Growing Graphs and Circuits
A review is given of approaches to growing neural networks and electronic circuits. A new method for growing graphs and circuits using a developmental process is discussed. The met...
Julian F. Miller, Peter Thomson
ADHOCNETS
2009
Springer
15 years 11 months ago
Power-Aware Intrusion Detection in Mobile Ad Hoc Networks
Mobile ad hoc networks (MANETs) are a highly promising new form of networking. However they are more vulnerable to attacks than wired networks. In addition, conventional intrusion ...
Sevil Sen, John A. Clark, Juan E. Tapiador
IFL
2001
Springer
146views Formal Methods» more  IFL 2001»
15 years 11 months ago
Optimizations on Array Skeletons in a Shared Memory Environment
Map- and fold-like skeletons are a suitable abstractions to guide parallel program execution in functional array processing. However, when it comes to achieving high performance, i...
Clemens Grelck
PADO
2001
Springer
15 years 11 months ago
Deriving Pre-conditions for Array Bound Check Elimination
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...
Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu