Sciweavers

561 search results - page 52 / 113
» A Methodology for Example-Based Specification and Design
Sort
View
DATE
2005
IEEE
155views Hardware» more  DATE 2005»
15 years 3 months ago
RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC
This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLD...
M. Abdelsalam Hassan, Keishi Sakanushi, Yoshinori ...
CODES
2000
IEEE
15 years 2 months ago
Storage requirement estimation for data intensive applications with partially fixed execution ordering
In this paper, we propose a novel storage requirement estimation methodology for use in the early system design phases when the data transfer ordering is only partly fixed. At tha...
Per Gunnar Kjeldsberg, Francky Catthoor, Einar J. ...
ASPDAC
2008
ACM
196views Hardware» more  ASPDAC 2008»
14 years 11 months ago
A CAD tool for RF MEMS devices
A stable, multiple energy domain and multi scale simulation tool for Microsystems is developed. A structured design methodology is adopted for design and optimization of RF MEMS sh...
Rajesh Pande, Rajendra Patrikar
HCI
2007
14 years 11 months ago
Serial Hanging Out: Rapid Ethnographic Needs Assessment in Rural Settings
This paper presents an ethnographic method for assessing user needs in designing for rural settings. “Serial Hanging Out” consists of short-term participant observation with mu...
Jaspal S. Sandhu, P. Altankhuyag, D. Amarsaikhan
SIGSOFT
2004
ACM
15 years 10 months ago
Reasoning about partial goal satisfaction for requirements and design engineering
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
Emmanuel Letier, Axel van Lamsweerde