544 search results - page 49 / 109 » Testing concurrent programs using value schedules |
CLUSTER
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract—Since the advent of multi-core processors, the physionomy of typical clusters has dramatically evolved. This new massively multi-core era is a major change in architectu...
ICN
2007
Springer
15 years 4 months ago
2007
Springer
— In this paper, we use the Markov Decision Process (MDP) technique to find the optimal code allocation policy in High-Speed Downlink Packet Access (HSDPA) networks. A discrete ...
PADL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
PPSN
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper describes a new approach for parameter optimization that uses a novel representation for the parameters to be optimized. By using genetic programming, the new ...
ICMCS
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper focuses on optimizing real-time intervehicle video communications from an image analysis perspective. Differently from traditional multimedia communication schemes whic...