Sciweavers

319 search results - page 50 / 64
» Precise Dynamic Slicing Algorithms
Sort
View
CDC
2010
IEEE
146views Control Systems» more  CDC 2010»
13 years 2 months ago
Adaptive autonomous soaring of multiple UAVs using Simultaneous Perturbation Stochastic Approximation
Abstract-- This paper presents a new algorithm for maximizing the flight duration of a single UAV (Uninhabited Air Vehicle) and UAVs group using the thermal model developed by Alle...
Cathrine Antal, Oleg Granichin, Sergey Levi
PLDI
2009
ACM
14 years 2 months ago
LiteRace: effective sampling for lightweight data-race detection
Data races are one of the most common and subtle causes of pernicious concurrency bugs. Static techniques for preventing data races are overly conservative and do not scale well t...
Daniel Marino, Madanlal Musuvathi, Satish Narayana...
3DPVT
2002
IEEE
143views Visualization» more  3DPVT 2002»
14 years 10 days ago
Generation, Visualization, and Editing of 3D Video
3D video is the ultimate image medium recording dynamic visual events in the real world as is. Recorded object behaviors can be observed from any viewpoint, because 3D video recor...
Takashi Matsuyama, Takeshi Takai
SENSYS
2004
ACM
14 years 24 days ago
The flooding time synchronization protocol
Wireless sensor network applications, similarly to other distributed systems, often require a scalable time synchronization service enabling data consistency and coordination. Thi...
Miklós Maróti, Branislav Kusy, Gyula...
CGO
2010
IEEE
14 years 15 days ago
Taming hardware event samples for FDO compilation
Feedback-directed optimization (FDO) is effective in improving application runtime performance, but has not been widely adopted due to the tedious dual-compilation model, the difï...
Dehao Chen, Neil Vachharajani, Robert Hundt, Shih-...