307 search results - page 31 / 62 » Automatic Parallelization Techniques for the EM-4 |
136
click to vote
ICDCS
2003
IEEE
15 years 7 months ago
2003
IEEE
With the proliferation of wireless devices, mobile ad hoc networking (MANET) has become a very exciting and important technology due to its characteristics of open medium and dyna...
129
click to vote
LICS
1990
IEEE
15 years 6 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
134
click to vote
RTSS
1995
IEEE
15 years 5 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
126
click to vote
CLUSTER
2008
IEEE
15 years 8 months ago
2008
IEEE
—This paper describes the application of various search techniques to the problem of automatic empirical code optimization. The search process is a critical aspect of auto-tuning...
134
click to vote
FIDJI
2003
Springer
15 years 7 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...