5241 search results - page 808 / 1049 » Embedded Programming with C |
117
click to vote
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— In this paper, we present an optimization framework for target tracking with mobile robot teams. The target tracking problem is modeled as a generic semidefinite progr...
101
click to vote
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
114
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
As more and more reusable structured data appears on the Web, casual users will want to take into their own hands the task of mashing up data rather than wait for mash-up sites to ...
124
click to vote
IEEEPACT
2006
IEEE
15 years 9 months ago
2006
IEEE
On machines with high-performance processors, the memory system continues to be a performance bottleneck. Compilers insert prefetch operations and reorder data accesses to improve...