6884 search results - page 1173 / 1377 » The macro-structure of use of help |
146
click to vote
IROS
2008
IEEE
16 years 28 days ago
2008
IEEE
— Intense efforts to define a common structure in robotic applications, both from a conceptual and from an implementation point of view, have been carried out in the last years ...
143
click to vote
MICRO
2008
IEEE
16 years 27 days ago
2008
IEEE
Optimizing the common case has been an adage in decades of processor design practices. However, as the system complexity and optimization techniques’ sophistication have increas...
158
click to vote
MICRO
2008
IEEE
16 years 27 days ago
2008
IEEE
—Transactional memory (TM) is a promising paradigm for helping programmers take advantage of emerging multicore platforms. Though they perform well under low contention, hardware...
165
click to vote
PIMRC
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract—Wireless mesh networks are considered as a potential attractive alternative to provide broadband access to users. They have been studied extensively by the research comm...
169
click to vote
TPHOL
2008
IEEE
16 years 27 days ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...