4600 search results - page 172 / 920 » Presenting the cyclotactor project |
SBMF
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...
ICASSP
2011
IEEE
13 years 23 days ago
2011
IEEE
Varying channel conditions present a difficult problem for many speech technologies such as language identification (LID). Channel compensation techniques have been shown to sig...
HAIS
2011
Springer
13 years 16 days ago
2011
Springer
The modelling of real-world complex systems is an area of ongoing interest for the research community. Real-world systems present a variety of challenges not least of which is the ...
CSCW
2012
ACM
12 years 4 months ago
2012
ACM
We showcase the Voices from the Rwanda Tribunal project and associated website that provides online public access to a set of historic video interviews with personnel from the Int...