Sciweavers

21430 search results - page 23 / 4286
» Abstract Effective Models
Sort
View
PATMOS
2004
Springer
15 years 3 months ago
Physical Extension of the Logical Effort Model
Abstract. The logical effort method has appeared very convenient for fast estimation and optimization of single paths. However it necessitates a calibration of all the gates of the...
B. Lasbouygues, Robin Wilson, Philippe Maurine, Na...
DATE
2005
IEEE
100views Hardware» more  DATE 2005»
15 years 3 days ago
The Role of Model-Level Transactors and UML in Functional Prototyping of Systems-on-Chip: A Software-Radio Application
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...
Alexandre Chureau, Yvon Savaria, El Mostapha Aboul...
JCST
2008
109views more  JCST 2008»
14 years 10 months ago
WWW Business Applications Based on the Cellular Model
A cellular model based on the Incrementally Modular Abstraction Hierarchy (IMAH) is a novel model that can represent the architecture of and changes in cyberworlds, preserving inva...
Toshio Kodama, Tosiyasu L. Kunii, Yoichi Seki
FC
2008
Springer
121views Cryptology» more  FC 2008»
14 years 12 months ago
Competition and Fraud in Online Advertising Markets
Abstract. An economic model of the online advertising market is presented, focusing on the effect of ad fraud. In the model, the market is comprised of three classes of players: pu...
Bob Mungamuru, Stephen Weis
PADS
2006
ACM
15 years 4 months ago
Using Abstraction in the Verification of Simulation Coercion
Xinyu Liu, Paul F. Reynolds Jr., David C. Brogan