8345 search results - page 1444 / 1669 » Design of Neuromorphic Hardwares |
184
click to vote
MICRO
2006
IEEE
16 years 19 days ago
2006
IEEE
The advent of deep sub-micron technology has recently highlighted the criticality of the on-chip interconnects. As diminishing feature sizes have led to increases in global wiring...
182
click to vote
RTCSA
2006
IEEE
16 years 19 days ago
2006
IEEE
We propose a novel tool, called objSampler, with which users can record and recall “encounters” with objects in ubiquitous computing environments. We encounter various things,...
228
click to vote
ACL2
2006
ACM
16 years 18 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
186
click to vote
ASPLOS
2006
ACM
16 years 18 days ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
186
Voted
CF
2006
ACM
16 years 18 days ago
2006
ACM
In a multi-programmed computing environment, threads of execution exhibit different runtime characteristics and hardware resource requirements. Not only do the behaviors of distin...