53390 search results - page 10348 / 10678 » Computer Systems Analysis |
166
click to vote
CGO
2005
IEEE
16 years 9 days ago
2005
IEEE
The growing complexity of modern processors has made the generation of highly efficient code increasingly difficult. Manual code generation is very time consuming, but it is oft...
154
click to vote
INFOCOM
2005
IEEE
16 years 9 days ago
2005
IEEE
— Knowing the positions of the nodes in a network is essential to many next generation pervasive and sensor network functionalities. Although many network localization systems ha...
165
click to vote
KBSE
2005
IEEE
16 years 8 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
137
click to vote
MEMOCODE
2005
IEEE
16 years 8 days ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
189
click to vote
ASPDAC
2005
ACM
16 years 8 days ago
2005
ACM
The progressive trend of fabrication technologies towards the nanometer regime has created a number of new physical design challenges for computer architects. Design complexity, u...