Sciweavers

87 search results - page 3 / 18
» Behavioral Specification of a Circuit Using SyncCharts: A Ca...
Sort
View
SQJ
2008
94views more  SQJ 2008»
13 years 5 months ago
Simulation-based analysis of UML statechart diagrams: methods and case studies
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
Jiexin Lian, Zhaoxia Hu, Sol M. Shatz
JSS
2006
110views more  JSS 2006»
13 years 5 months ago
Beyond source code: The importance of other artifacts in software development (a case study)
Current software systems contain increasingly more elements that have not usually been considered in software engineering research and studies. Source artifacts, understood as the...
Gregorio Robles, Jesús M. González-B...
HCI
2009
13 years 3 months ago
Behavior-Sensitive User Interfaces for Smart Environments
In smart environments interactive assistants can support the user's daily life by being ubiquitously available through any interaction device that is connected to the network....
Veit Schwartze, Sebastian Feuerstack, Sahin Albayr...
ICCAD
2009
IEEE
119views Hardware» more  ICCAD 2009»
13 years 3 months ago
Iterative layering: Optimizing arithmetic circuits by structuring the information flow
Current logic synthesis techniques are ineffective for arithmetic circuits. They perform poorly for XOR-dominated circuits, and those with a high fan-in dependency between inputs ...
Ajay K. Verma, Philip Brisk, Paolo Ienne
ICCAD
2003
IEEE
175views Hardware» more  ICCAD 2003»
14 years 2 months ago
Path Delay Estimation using Power Supply Transient Signals: A Comparative Study using Fourier and Wavelet Analysis
Transient Signal Analysis (TSA) is a parametric device testing technique based on the analysis of dynamic (transient) current (iDDT) drawn by the core logic from the power supply ...
Abhishek Singh, Jitin Tharian, Jim Plusquellic