39362 search results - page 7467 / 7873 » Global Computing Systems |
160
click to vote
INFOCOM
2005
IEEE
16 years 13 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...
169
click to vote
ISCAS
2005
IEEE
16 years 13 days ago
2005
IEEE
— Open source software are becoming more widely-used, notably in the server and desktop applications. For embedded systems development, usage of open source software can also red...
179
click to vote
KBSE
2005
IEEE
16 years 13 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...
141
click to vote
MEMOCODE
2005
IEEE
16 years 13 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...
178
click to vote
RTAS
2005
IEEE
16 years 13 days ago
2005
IEEE
Low-end embedded architectures, such as sensor nodes, have become popular in diverse fields, many of which impose real-time constraints. Currently, the Atmel Atmega processor fam...