8347 search results - page 1034 / 1670 » Performance testing of software systems |
206
click to vote
TASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
204
click to vote
INFSOF
1998
15 years 7 months ago
1998
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...
204
click to vote
IMC
2010
ACM
15 years 5 months ago
2010
ACM
Large scale active measurement of the Internet requires appropriate software support. The better tools that we have for executing consistent and systematic measurements, the more ...
326
click to vote
CISIS
2010
IEEE
14 years 11 months ago
2010
IEEE
Work-stealing is the todays algorithm of choice for dynamic load-balancing of irregular parallel applications on multiprocessor systems. We have evaluated the algorithm’s effic...
191
click to vote
IUI
2009
ACM
16 years 4 months ago
2009
ACM
Recent developments in multi-touch technologies have exposed fertile ground for research in enriched humanrobot interaction. Although multi-touch technologies have been used for v...