1593 search results - page 296 / 319 » A visual programming system for automated problem solving |
116
Voted
ICMCS
2007
IEEE
15 years 9 months ago
2007
IEEE
Wireless digital video broadcasting has experienced much success in recent years with some industrial systems deployed. We study in this paper how to recover lost packets in video...
125
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
109
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
We present the first hardware-in-the-loop evolutionary optimization on an ornithopter. Our experiments demonstrate the feasibility of evolving flight through genetic algorithms an...
141
click to vote
MIDDLEWARE
2004
Springer
15 years 8 months ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...
136
Voted
ICPP
1998
IEEE
15 years 7 months ago
1998
IEEE
To execute a shared memory program efficiently, we have to manage memory consistency with low overheads, and have to utilize communication bandwidth of the platform as much as pos...