959 search results - page 127 / 192 » Transfers between Logics and their Applications |
183
click to vote
TMC
2012
13 years 8 months ago
2012
—The pervasive adoption of IEEE 802.11 radios in the past decade has made possible for the easy Internet access from a vehicle, notably drive-thru Internet. Originally designed f...
140
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
The number of embedded systems is increasing and a remarkable percentage is designed as mobile applications. For the latter, the energy consumption is a limiting factor because of...
136
click to vote
COMMA
2006
15 years 7 months ago
2006
This paper offers a logical formalisation of an argument-based account of reasoning about action, taking seriously the abductive nature of this form of reasoning. The particular qu...
262
click to vote
HPCA
1999
IEEE
15 years 10 months ago
1999
IEEE
Symmetric multiprocessors (SMPs) connected with low-latency networks provide attractive building blocks for software distributed shared memory systems. Two distinct approaches hav...
179
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, ...