Sciweavers

1682 search results - page 119 / 337
» A behavior model for persuasive design
Sort
View
DATE
2004
IEEE
129views Hardware» more  DATE 2004»
15 years 10 months ago
Modeling Shared Resource Contention Using a Hybrid Simulation/Analytical Approach
Future Systems-on-Chips will include multiple heterogeneous processing units, with complex data-dependent shared resource access patterns dictating the performance of a design. Cu...
Alex Bobrek, Joshua J. Pieper, Jeffrey E. Nelson, ...
MASCOTS
2007
15 years 7 months ago
Measurement Based Physical Layer Modeling for Wireless Network Simulations
—Simulation methods have become an integral part of almost all aspects of networking research and particularly in the area of wireless networks. Any new protocol or methodology t...
Dheeraj Reddy, George F. Riley
SIGCOMM
2009
ACM
16 years 26 days ago
Modeling energy efficiency in wireless internet communication
For wireless mobile Internet users the length of the battery life is one of the most important performance factors. The energy efficiency of the data transmission over radio is a ...
Enrico Rantala, Arto Karppanen, Seppo Granlund, Pa...
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
15 years 12 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
VLSID
2002
IEEE
189views VLSI» more  VLSID 2002»
16 years 6 months ago
Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
Prabhat Mishra, Hiroyuki Tomiyama, Ashok Halambi, ...