9067 search results - page 1797 / 1814 » Adaptive Model Checking |
194
click to vote
MICRO
2006
IEEE
14 years 11 months ago
2006
IEEE
Since processor performance scalability will now mostly be achieved through thread-level parallelism, there is a strong incentive to parallelize a broad range of applications, inc...
95
Voted
PERVASIVE
2008
Springer
14 years 11 months ago
2008
Springer
Energy-efficency is a key concern when designing protocols for wireless sensor networks (WSN). This is of particular importance in commercial applications where demonstrable retur...
136
Voted
AAMAS
2005
Springer
14 years 11 months ago
2005
Springer
Cooperative multi-agent systems are ones in which several agents attempt, through their interaction, to jointly solve tasks or to maximize utility. Due to the interactions among t...
105
click to vote
IJMMS
2007
14 years 11 months ago
2007
The investigation of innovative Human–Computer Interfaces (HCI) provides a challenge for future interaction research and development. Brain–Computer Interfaces (BCIs) exploit ...
TCSB
2008
14 years 11 months ago
2008
Abstract. Molecular communication is a novel paradigm that uses molecules as an information carrier to enable nanomachines to communicate with each other. Controlled molecule deliv...