15401 search results - page 2811 / 3081 » Software in Automotive Systems |
182
click to vote
FSTTCS
2005
Springer
16 years 25 days ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
212
click to vote
ICESS
2005
Springer
16 years 25 days ago
2005
Springer
Since IPv6 has more benefits over IPv4, the development and deployment of the IPv6 protocol-based products are currently taking place and the migration of IPv4 to IPv6 has also be...
189
click to vote
ISMIR
2005
Springer
16 years 25 days ago
2005
Springer
We present MATCH, a toolkit for aligning audio recordings of different renditions of the same piece of music, based on an efficient implementation of a dynamic time warping algor...
210
click to vote
LCPC
2005
Springer
16 years 24 days ago
2005
Springer
With the growing popularity of streaming data model, processing queries over streaming data has become an important topic. Streaming data has received attention in a number of comm...
185
click to vote
LCPC
2005
Springer
16 years 24 days ago
2005
Springer
Techniques for global register allocation via graph coloring have been extensively studied and widely implemented in compiler frameworks. This paper examines a particular variant ...