6274 search results - page 909 / 1255 » Proofs, Programs, Processes |
151
Voted
ICALP
2005
Springer
15 years 9 months 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...
125
Voted
ICCS
2005
Springer
15 years 9 months 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...
139
click to vote
ICNC
2005
Springer
15 years 9 months 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 ...
110
click to vote
ICWE
2005
Springer
15 years 9 months ago
2005
Springer
The navigation routing code of a web application is the part of the code involved in routing a request from a web page through the appropriate components on the server, typically e...
137
Voted
IMA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. An increasingly important design constraint for software running on ubiquitous computing devices is security, particularly against physical methods such as side-channel a...