Sciweavers

2215 search results - page 194 / 443
» Wide open spaces
Sort
View
KBSE
2008
IEEE
16 years 26 days ago
Inferring Finite-State Models with Temporal Constraints
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
Neil Walkinshaw, Kirill Bogdanov
DATE
2007
IEEE
126views Hardware» more  DATE 2007»
16 years 25 days ago
A future of customizable processors: are we there yet?
Customizable processors are being used increasingly often in SoC designs. During the past few years, they have proven to be a good way to solve the conflicting flexibility and p...
Laura Pozzi, Pierre G. Paulin
ICC
2007
IEEE
136views Communications» more  ICC 2007»
16 years 24 days ago
On the Approximation of the Linear Combination of Log-Normal RVs via Pearson Type IV Distribution: Application to UWB Performanc
— Approximating the sum of Log–Normal random variables (RVs) is a long–standing open issue, in the old and recent literature, and many approaches have been proposed to deal w...
Marco Di Renzo, Fabio Graziosi, Fortunato Santucci
INFOCOM
2007
IEEE
16 years 24 days ago
Using Low-Power Modes for Energy Conservation in Ethernet LANs
—Most Ethernet interfaces available for deployment in switches and hosts today can operate in a variety of different low power modes. However, currently these modes have very lim...
Maruti Gupta, Suresh Singh
INFOCOM
2007
IEEE
16 years 24 days ago
Understanding VoIP from Backbone Measurements
— VoIP has widely been addressed as the technology that will change the Telecommunication model opening the path for convergence. Still today this revolution is far from being co...
Robert Birke, Marco Mellia, Michael Petracca, Dari...