10055 search results - page 174 / 2011 » Structured programming using processes |
136
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Parallel programming continues to be difficult and error-prone, whether starting from specifications or from an existing sequential program. This paper presents (1) a methodology f...
179
click to vote
PRL
2007
15 years 4 months ago
2007
This paper introduces a novel method of visual learning based on Genetic Programming, which evolves a population of individuals (image analysis programs) that process attributed v...
140
click to vote
ICALP
1997
Springer
15 years 8 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
129
click to vote
ISPASS
2009
IEEE
15 years 11 months ago
2009
IEEE
Insights into branch predictor organization and operation can be used in architecture-aware compiler optimizations to improve program performance. Unfortunately, such details are ...
148
Voted
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...