Sciweavers

7118 search results - page 30 / 1424
» Electrical and Computer Engineering
Sort
View
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 1 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
DAC
2007
ACM
15 years 1 months ago
Synthetic biology: from bacteria to stem cells
Synthetic biology is revolutionizing how we conceptualize and approach the engineering of biological systems. Recent advances in the field are allowing us to expand beyond the con...
Ron Weiss
CCECE
2009
IEEE
15 years 2 months ago
Capacity analysis of a decode-and-forward cooperative network under adaptive transmission
—This paper presents a capacity analysis of a decode-and-forward (DF) cooperative network with adaptive source transmission. Three different adaptive techniques are considered: (...
Prasanna Kalansuriya, Chintha Tellambura

Publication
212views
15 years 2 months ago
Browser independent content based image resizing for liquid web layouts
A typical problem for webdesigners is to realize pages that can be potentially accessed from a number of display devices with different screen sizes and resolutions. Liquid layouts...
Gallea Roberto, Ardizzone Edoardo, Pirrone Roberto
HICSS
1997
IEEE
104views Biometrics» more  HICSS 1997»
15 years 1 months ago
A Simulation Tool for Analysis of Alternative Paradigms for the New Electricity Business
Variousproposals have been madefor new paradigms for operating the restructuring electrical system. One of the key challenges associated with this restructuring is to effectively ...
Thomas J. Overbye, Peter W. Sauer, George Gross, M...