9067 search results - page 1769 / 1814 » Adaptive Model Checking |
154
Voted
CCECE
2006
IEEE
15 years 8 months ago
2006
IEEE
Real Time embedded system designers are facing extreme challenges in underlying architectural design selection. It involves the selection of a programmable, concurrent, heterogene...
135
Voted
ICAC
2006
IEEE
15 years 8 months ago
2006
IEEE
— Recent advances have demonstrated the potential benefits of coordinated management of thermal load in data centers, including reduced cooling costs and improved resistance to ...
136
Voted
ICNP
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Despite years of research and development, pioneering deployments of multihop wireless networks have not proven successful. The performance of routing and transport is ...
155
click to vote
IROS
2006
IEEE
15 years 8 months ago
2006
IEEE
— We propose to classify the behaviors of a mobile robot thanks to topological methods as an alternative to metric ones. To do so, we adapt an analysis scheme from Physics of non...
130
click to vote
SIPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— This paper presents a design environment for efficiently generating application-specific Intellectual Property (IP) cores for system level signal processing algorithm...