Sciweavers

3984 search results - page 492 / 797
» A Model-Driven Transformation Method
Sort
View
WWW
2001
ACM
16 years 7 months ago
XML and XSLT Modeling for Multimedia Bitstream Manipulation
New devices gaining access to the Internet need to obtain multimedia content adapted to their limited capacities. Scalable formats allow to retrieve different versions of a single...
Sylvain Devillers
CHI
2006
ACM
16 years 7 months ago
Whither or whether HCI: requirements analysis for multi-sited, multi-user cyberinfrastructures
Cyberinfrastructures bring together distributed resources to support scientific discoveries. Cyberinfrastructures currently under development are intended to enable the cooperativ...
Ann Zimmerman, Bonnie A. Nardi
VLSID
2005
IEEE
140views VLSI» more  VLSID 2005»
16 years 7 months ago
Variable Resizing for Area Improvement in Behavioral Synthesis
High level synthesis tools transform an algorithmic description to a register transfer language (RTL) description of the hardware. The algorithm behavior is typically described in...
R. Gopalakrishnan, Rajat Moona
VLSID
2002
IEEE
97views VLSI» more  VLSID 2002»
16 years 7 months ago
Multiple Faults: Modeling, Simulation and Test
We give an algorithm to model any given multiple stuck-at fault as a single stuck-at fault. The procedure requires insertion of at most ? ? ? modeling gates, when the multiplicity...
Yong Chang Kim, Vishwani D. Agrawal, Kewal K. Salu...
CADE
2007
Springer
16 years 6 months ago
Formalization of Continuous Probability Distributions
Continuous probability distributions are widely used to mathematically describe random phenomena in engineering and physical sciences. In this paper, we present a methodology that ...
Osman Hasan, Sofiène Tahar