Sciweavers

733 search results - page 62 / 147
» Model Reuse through Hardware Design Patterns
Sort
View
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
15 years 3 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
SIGMETRICS
1999
ACM
120views Hardware» more  SIGMETRICS 1999»
15 years 2 months ago
A Performance Study of Dynamic Replication Techniques in Continuous Media Servers
Multimedia applications are emerging in education, information dissemination, entertainment, as well as many other applications. The stringent requirements of such applications ma...
Cheng-Fu Chou, Leana Golubchik, John C. S. Lui
ICCD
2005
IEEE
134views Hardware» more  ICCD 2005»
15 years 6 months ago
Analytical Model for Sensor Placement on Microprocessors
Thermal management in microprocessors has become a major design challenge in recent years. Thermal monitoring through hardware sensors is important, and these sensors must be care...
Kyeong-Jae Lee, Kevin Skadron, Wei Huang
DATE
2005
IEEE
100views Hardware» more  DATE 2005»
14 years 11 months 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...
BPM
2008
Springer
207views Business» more  BPM 2008»
14 years 11 months ago
From Personal Task Management to End-User Driven Business Process Modeling
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...
Todor Stoitsev, Stefan Scheidl, Felix Flentge, Max...