Sciweavers

472 search results - page 39 / 95
» Symbolic range propagation
Sort
View
RTA
2005
Springer
15 years 6 months ago
Natural Narrowing for General Term Rewriting Systems
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
Santiago Escobar, José Meseguer, Prasanna T...
121
Voted
ICC
2009
IEEE
125views Communications» more  ICC 2009»
14 years 10 months ago
HMM-Web: A Framework for the Detection of Attacks Against Web Applications
Nowadays, the web-based architecture is the most frequently used for a wide range of internet services, as it allows to easily access and manage information and software on remote ...
Igino Corona, Davide Ariu, Giorgio Giacinto
TCSV
2002
107views more  TCSV 2002»
15 years 11 days ago
Subband-adaptive turbo-coded OFDM-based interactive video telephony
A range of adaptive orthogonal frequency division multiplex (AOFDM) video systems are proposed for interactive communications over wireless channels. The proposed constant target b...
Peter J. Cherriman, Thomas Keller 0002, Lajos Hanz...
BMCBI
2011
14 years 7 months ago
Implementation of Force Distribution Analysis for Molecular Dynamics simulations
Background: The way mechanical stress is distributed inside and propagated by proteins and other biopolymers largely defines their function. Yet, determining the network of intera...
Wolfram Stacklies, Christian Seifert, Frauke Graet...
104
Voted
ISQED
2003
IEEE
104views Hardware» more  ISQED 2003»
15 years 6 months ago
On-Chip Interconnect Inductance - Friend or Foe (Invited)
Inductance associated with on-chip wires can no longer be ignored as chip operation frequencies increase into GHz regime. Because the magnetic field propagates a very long range, ...
S. Simon Wong, C. Patrick Yue, Richard Chang, So-Y...