Sciweavers

2588 search results - page 288 / 518
» Engineering Systems Which Generate Emergent Functionalities
Sort
View
CORR
2010
Springer
135views Education» more  CORR 2010»
15 years 3 months ago
Modified EESM Based Link Adaptation Algorithm for Multimedia Transmission in Multicarrier Systems
The previous link adaptation algorithms on ofdm based systems use equal modulation order for all sub carrier index within a block. For multimedia transmission using ofdm as the mo...
R. Sandanalakshmi, Athilakshmi, K. Manivannan
EUROSYS
2007
ACM
16 years 2 months ago
Sweeper: a lightweight end-to-end system for defending against fast worms
The vulnerabilities which plague computers cause endless grief to users. Slammer compromised millions of hosts in minutes; a hit-list worm would take under a second. Recently prop...
Joseph Tucek, James Newsome, Shan Lu, Chengdu Huan...
CODES
2007
IEEE
15 years 11 months ago
Embedded software development on top of transaction-level models
Early embedded SW development with transaction-level models has been broadly promoted to improve SoC design productivity. But the proposed APIs only provide low-level read/write o...
Wolfgang Klingauf, Robert Günzel, Christian S...
141
Voted
AMAST
2000
Springer
15 years 9 months ago
Meta Languages in Algebraic Compilers
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
Eric Van Wyk
ITP
2010
178views Mathematics» more  ITP 2010»
15 years 7 months ago
Interactive Termination Proofs Using Termination Cores
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
Panagiotis Manolios, Daron Vroon