174 search results - page 27 / 35 » Source Code Exploration with Google |
80
Voted
ASPDAC
2006
ACM
15 years 5 months ago
2006
ACM
- Early estimation of the execution time of Real-Time embedded SW is an essential task in complex, HW/SW embedded system design. Application SW execution time estimation requires t...
MOBIQUITOUS
2005
IEEE
15 years 5 months ago
2005
IEEE
Routing is a critical function in multi-hop mobile ad hoc networks (MANETs). A number of MANET-oriented routing protocols have been proposed, of which DSR is widely considered bot...
88
Voted
NIME
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes the audio human computer interface experiments of ixi in the past and outlines the current platform for future research. ixi software [5] was founded by Thor ...
100
Voted
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
HPDC
2003
IEEE
15 years 4 months ago
2003
IEEE
Despite the enormous amount of research and development work in the area of parallel computing, it is a common observation that simultaneous performance and ease-of-use are elusiv...