15840 search results - page 2692 / 3168 » The Control of Synchronous Systems |
200
click to vote
RSP
2003
IEEE
16 years 11 days ago
2003
IEEE
With advances in semiconductor technology, processors are becoming larger and more complex. Future processor designers will face an enormous design space, and must evaluate more a...
192
click to vote
SIBGRAPI
2003
IEEE
2003
IEEE
Using Efficient Visual Exploration Techniques to Evaluate Features for Content-Based Image Retrieval
16 years 11 days ago
This paper presents a novel visual approach to evaluate, in a fast and effective way, the development of new image feature extraction techniques concerning content-based image ret...
190
click to vote
SPAA
2003
ACM
16 years 10 days ago
2003
ACM
Recent research on processor microarchitecture suggests using instruction criticality as a metric to guide hardware control policies. Fields et al. [3, 4] have proposed a directed...
188
click to vote
TLDI
2003
ACM
16 years 10 days ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
190
click to vote
AP2PC
2003
Springer
16 years 10 days ago
2003
Springer
This paper examines the decentralized formation of groups within a peer-to-peer multi-agent system. More specifically, it frames group formation as a clustering problem, and exami...