6149 search results - page 887 / 1230 » Revealing the programming process |
215
click to vote
ICALP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
184
click to vote
ICALP
2005
Springer
16 years 10 days ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
184
Voted
ICALP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
168
click to vote
ICCS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Resource management is a critical concern in high-performance computing software. While management of processing resources to increase performance is the most critical, e...
189
click to vote
ICNC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Parallel genetic algorithms are usually implemented on parallel machines or distributed systems. This paper describes how finegrained parallel genetic algorithms can be ...