11328 search results - page 118 / 2266 » Timed Branching Processes |
114
click to vote
APVIS
2010
15 years 4 months ago
2010
Information visualization shows tremendous potential for helping both expert and casual users alike make sense of temporal data, but current time series visualization tools provid...
115
click to vote
JLP
2008
15 years 3 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
140
click to vote
APPINF
2003
15 years 4 months ago
2003
The paper presents a method in teaching software process at under-graduate level, based on the Personal Software Process (PSP). The goal is to inform students about the process an...
115
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We study the problem of preemptive scheduling n jobs with given release times on m identical parallel machines. The objective is to minimize the average flow time. We show that wh...
149
click to vote
ISCA
2003
IEEE
15 years 8 months ago
2003
IEEE
Meeting deadlines is a key requirement in safe realtime systems. Worst-case execution times (WCET) of tasks are needed for safe planning. Contemporary worst-case timing analysis t...