Sciweavers

2355 search results - page 254 / 471
» Scheduling in the Z-Polyhedral Model
Sort
View
SOCO
2009
Springer
16 years 1 months ago
Specifying and Composing Non-functional Requirements in Model-Based Development
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, T...
RTSS
2008
IEEE
16 years 1 months ago
Control-Driven Tasks: Modeling and Analysis
The standard design of control systems is based on the periodic sampling. Every period the data is read from the input, the control law is computed, and the output is written to t...
Manel Velasco, Pau Martí, Enrico Bini
UM
2007
Springer
16 years 25 days ago
A Practical Activity Capture Framework for Personal, Lifetime User Modeling
Abstract. This paper addresses the problem of capturing rich, longterm personal activity logs of users’ interactions with their workstations, for the purpose of deriving predicti...
Max Van Kleek, Howard E. Shrobe
150
Voted
ETFA
2005
IEEE
16 years 10 days ago
A real-time task model based on ideal instant
In many digital control applications, data acquisition and process control are time-critical actions, assumed to be instantaneous and strictly periodic. However, aspects related t...
F. R. de la Rocha, R. S. de Oliveira
DATE
2002
IEEE
86views Hardware» more  DATE 2002»
15 years 11 months ago
A Layered, Codesign Virtual Machine Approach to Modeling Computer Systems
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
JoAnn M. Paul, Donald E. Thomas