Sciweavers

419 search results - page 39 / 84
» Automatic Synthesis of Real Time Systems
Sort
View
QEST
2008
IEEE
15 years 10 months ago
Automatic Translation of UML Sequence Diagrams into PEPA Models
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
Mirco Tribastone, Stephen Gilmore
ICCAD
2008
IEEE
127views Hardware» more  ICCAD 2008»
16 years 1 months ago
System-level power estimation using an on-chip bus performance monitoring unit
In this paper we propose an on-chip bus PMU which makes accurate estimates of system power consumption from a first-order linear power model by utilizing system-level activity in...
Youngjin Cho, Younghyun Kim, Sangyoung Park, Naehy...
128
Voted
EMSOFT
2005
Springer
15 years 9 months ago
AutoDVS: an automatic, general-purpose, dynamic clock scheduling system for hand-held devices
We present AutoDVS, a dynamic voltage scaling (DVS) system for hand-held computers. Unlike extant DVS systems, AutoDVS distinguishes common, course-grain, program behavior and cou...
Selim Gurun, Chandra Krintz
SIGMETRICS
2010
ACM
160views Hardware» more  SIGMETRICS 2010»
15 years 9 months ago
RSIO: automatic user interaction detection and scheduling
We present RSIO, a processor scheduling framework for improving the response time of latency-sensitive applications by monitoring accesses to I/O channels and inferring when user ...
Haoqiang Zheng, Jason Nieh
FGR
2006
IEEE
175views Biometrics» more  FGR 2006»
15 years 10 months ago
Fully Automatic Facial Action Recognition in Spontaneous Behavior
We present results on a user independent fully automatic system for real time recognition of facial actions from the Facial Action Coding System (FACS). The system automatically d...
Marian Stewart Bartlett, Gwen Littlewort, Mark G. ...