Sciweavers

4257 search results - page 45 / 852
» The Logical Modularity of Programs
Sort
View
EUROPAR
2003
Springer
15 years 7 months ago
DeWiz - A Modular tool Architecture for Parallel Program Analysis
Dieter Kranzlmüller, Michael Scarpa, Jens Vol...
ICEC
1996
70views more  ICEC 1996»
15 years 3 months ago
Modular Neural Networks Evolved by Genetic Programming
Sung-Bae Cho, Katsunori Shimohara
61
Voted
ENTCS
2007
85views more  ENTCS 2007»
15 years 2 months ago
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs
Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfr...