132 search results - page 14 / 27 » Work-centered design: a case study of a mixed-initiative sch... |
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
CHI
2003
ACM
14 years 8 months ago
2003
ACM
This case study describes ethnographic interviews with vehicle buyers to learn how they make purchase decisions. The research was conducted for J. Walter Thompson (JWT), the digit...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Many application domains require adaptive realtime embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee ...
SAGT
2009
Springer
14 years 2 months ago
2009
Springer
In a scheduling game, each player owns a job and chooses a machine to execute it. While the social cost is the maximal load over all machines (makespan), the cost (disutility) of ...