15840 search results - page 2822 / 3168 » The Control of Synchronous Systems |
181
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Current research on code clones tries to address the question whether or not code clones are harmful for the quality of software. As most of these studies are based on the fine...
193
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
152
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Relative bearing between robots is important in applications like pursuit-evasion [11] and SLAM [7]. This is also true in in sensor networks, where the bearing of one sensor no...
174
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper a novel implementation of the saliency map model on a multi-GPU platform using CUDA technology is presented. The saliency map model is a wellknown computational m...
230
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...