5180 search results - page 951 / 1036 » Concurrency, Time, and Constraints |
102
click to vote
ISLPED
2009
ACM
15 years 6 months ago
2009
ACM
Power management has been a critical issue in the design of embedded systems due to the limited power supply. To prolong the lifetime, energy minimization has been studied under p...
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
114
click to vote
ICC
2008
IEEE
15 years 6 months ago
2008
IEEE
— In recent years, LED technology emerged as a prime candidate for the future illumination light source, due to high energy efficiency and long life time. In addition, LEDs offe...
110
click to vote
ICDM
2008
IEEE
15 years 6 months ago
2008
IEEE
Sequential pattern mining is an interesting data mining problem with many real-world applications. This problem has been studied extensively in static databases. However, in recen...
IROS
2008
IEEE
15 years 6 months ago
2008
IEEE
— This paper presents a solution to the problem of steering a group of real omnidirectional mobile robots along a given path, while maintaining a desired formation pattern. This ...