2364 search results - page 389 / 473 » On O-Minimal Hybrid Systems |
173
click to vote
DNA
2009
Springer
16 years 29 days ago
2009
Springer
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...
161
click to vote
CIKM
2007
Springer
16 years 17 days ago
2007
Springer
Modern web search engines are expected to return top-k results efficiently given a query. Although many dynamic index pruning strategies have been proposed for efficient top-k com...
148
click to vote
IPPS
2006
IEEE
16 years 12 days ago
2006
IEEE
By violating MAC-layer protocols, the jamming attack aims at blocking successful communication among wireless nodes. Wireless sensor networks (WSNs) are highly vulnerable to jammi...
193
click to vote
MUM
2004
ACM
15 years 11 months ago
2004
ACM
Within the expanding paradigm of medical imaging and wireless communications there is increasing demand for transmitting diagnostic medical imagery over error-prone wireless commu...
186
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
Over the last decade, Message Passing Interface (MPI) has become a very successful parallel programming environment for distributed memory architectures such as clusters. However, ...