5241 search results - page 808 / 1049 » Embedded Programming with C |
163
click to vote
IROS
2007
IEEE
16 years 20 days 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...
145
click to vote
TPHOL
2007
IEEE
16 years 19 days 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...
152
click to vote
OOPSLA
2007
Springer
16 years 14 days 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...
129
click to vote
SEMWEB
2007
Springer
16 years 14 days 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 ...
164
click to vote
IEEEPACT
2006
IEEE
16 years 11 days 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...