Search Sciweavers | Sciweavers

23

SASO
2008
IEEE

110views Control Systems» more SASO 2008»

An Ecological Perspective on Future Service Environments

14 years 4 months ago

This paper addresses a business scenario based on socalled tradable micro-services which is intended to explain the dynamics of a market to which actors contribute both as consume...

Peter H. Deussen, Edzard Höfig, Antonio Manza...

claim paper

Read More »

22

click to vote

TPHOL
2008
IEEE

107views Automated Reasoning» more TPHOL 2008»

Twenty Years of Theorem Proving for HOLs Past, Present and Future

14 years 4 months ago

Download users.encs.concordia.ca

Mike Gordon

claim paper

Read More »

31

click to vote

AINA
2007
IEEE

204views Computer Networks» more AINA 2007»

Sim-PowerCMP: A Detailed Simulator for Energy Consumption Analysis in Future Embedded CMP Architectures

14 years 4 months ago

Download www.ditec.um.es

Continuous improvements in integration scale have made major microprocessor vendors to move to designs that integrate several processor cores on the same chip. Chip-multiprocessor...

Antonio Flores, Juan L. Aragón, Manuel E. A...

claim paper

Read More »

22

click to vote

BROADNETS
2007
IEEE

131views Computer Networks» more BROADNETS 2007»

Route diversity: A future for transmission protocols?

14 years 4 months ago

Download wiki.uni.lu

—This contribution is attempting to show how a route diversity can improve the trafﬁc behavior of a connection between two network entities. The most used transmission protocol...

Foued Melakessou, Ulrich Sorger, Zdzislaw Suchanec...

claim paper

Read More »

15

click to vote

DATE
2007
IEEE

85views Hardware» more DATE 2007»

Scalable reconfigurable channel decoder architecture for future wireless handsets

14 years 4 months ago

Download www.date-conference.com

Gummidipudi Krishnaiah, Nur Engin, Sergei Sawitzki

claim paper