2935 search results - page 497 / 587 » An Integrated Approach to High Integrity Software Verificati... |
164
click to vote
DATE
2008
IEEE
16 years 9 days ago
2008
IEEE
Retargetable C compilers are key components of today’s embedded processor design platforms for quickly obtaining compiler support and performing early processor architecture exp...
167
click to vote
FGCN
2008
IEEE
16 years 9 days ago
2008
IEEE
Simulators are needed for testing algorithms of wireless sensor networks (WSNs) for large scale scenarios. Deploying real WSN testbed provides a more realistic testing environment...
147
click to vote
ICDCS
2008
IEEE
16 years 9 days ago
2008
IEEE
— Checkpointing is an indispensable technique to provide fault tolerance for long-running high-throughput applications like those running on desktop grids. This paper argues that...
157
click to vote
ICECCS
2008
IEEE
16 years 8 days ago
2008
IEEE
Ubiquitous computing systems can be regarded as open systems where heterogeneous and previously unknown entities may spontaneously interact, due to intrinsic mobility of users and...
177
Voted
SASO
2008
IEEE
16 years 7 days ago
2008
IEEE
Market-based mechanisms can be used to coordinate self-interested multi-robot systems in fully distributed environments, where by self-interested we mean that each robot agent att...