Sciweavers

11580 search results - page 1917 / 2316
» Communication vs. Computation
Sort
View
ICECCS
2009
IEEE
119views Hardware» more  ICECCS 2009»
16 years 1 months ago
REMES: A Resource Model for Embedded Systems
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul...
ICEIS
2009
IEEE
16 years 1 months ago
AgEx: A Financial Market Simulation Tool for Software Agents
Many researchers in the software agent field use the financial domain as a test bed to develop adaptation, cooperation and learning skills of software agents. However, there are no...
Paulo André Lima de Castro, Jaime Sim&atild...
IEEEPACT
2009
IEEE
16 years 1 months ago
Anaphase: A Fine-Grain Thread Decomposition Scheme for Speculative Multithreading
Industry is moving towards multi-core designs as we have hit the memory and power walls. Multi-core designs are very effective to exploit thread-level parallelism (TLP) but do not...
Carlos Madriles, Pedro López, Josep M. Codi...
LICS
2009
IEEE
16 years 1 months ago
Psi-calculi: Mobile Processes, Nominal Data, and Logic
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...
ADHOCNOW
2009
Springer
16 years 1 months ago
TCP over Multi-Hop Wireless Networks: The Impact of MAC Level Interactions
In Multi Hop Wireless Networks (MHWNs), nodes act both as end-hosts as well as intermediate routers. When communication occurs, these nodes form chains between different sources a...
Adnan Majeed, Saquib Razak, Nael B. Abu-Ghazaleh, ...
« Prev « First page 1917 / 2316 Last » Next »