4693 search results - page 708 / 939 » Verifying Hybrid Systems |
164
Voted
CCGRID
2008
IEEE
16 years 16 days ago
2008
IEEE
Grid computing supports shared access to computing resources from cooperating organizations or institutes in the form of virtual organizations. Resource brokering middleware, comm...
153
click to vote
CDC
2008
IEEE
16 years 16 days ago
2008
IEEE
Abstract— This paper presents a within-stride feedback controller that achieves an exponentially stable, periodic, and fast walking gait for a 3D bipedal robot consisting of a to...
203
Voted
ISCA
2008
IEEE
16 years 14 days ago
2008
IEEE
Performance improvement solely through transistor scaling is becoming more and more difficult, thus it is increasingly common to see domain specific accelerators used in conjunc...
165
click to vote
ISDA
2008
IEEE
16 years 14 days ago
2008
IEEE
Both simulated annealing (SA) and the genetic algorithms (GA) are stochastic and derivative-free optimization technique. SA operates on one solution at a time, while the GA mainta...
151
click to vote
VTC
2008
IEEE
16 years 13 days ago
2008
IEEE
—The European satellite navigation system Galileo is a highly promising technology with communication capabilities providing an enhanced Search-and-Rescue (SAR) service in combin...