676 search results - page 52 / 136 » A model and architecture for situation determination |
116
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
Current electronic system design requires to be concerned with power consumption consideration. However, in a lot of design tools, the application power consumption budget is esti...
132
click to vote
CONCUR
2008
Springer
15 years 3 months ago
2008
Springer
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
111
click to vote
ICCS
2001
Springer
15 years 5 months ago
2001
Springer
The performance of the MPI’s collective communications is critical in most MPI-based applications. A general algorithm for a given collective communication operation may not give...
122
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...
131
click to vote
COSIT
2007
Springer
15 years 5 months ago
2007
Springer
Consistent and flawless communication between humans and machines is the precondition for a computer to process instructions correctly. While machines use well-defined languages an...