253 search results - page 32 / 51 » Processor Models for Retargetable Tools |
157
click to vote
SIGADA
2007
Springer
15 years 5 months ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
MTA
2006
14 years 11 months ago
2006
Abstract There are increasing demands on portable communication devices to run multimedia applications. ISO (an International Organization for Standardization) standard MPEG-4 is a...
ENTCS
2002
14 years 11 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
121
click to vote
ESOP
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...
111
click to vote
MICCAI
2005
Springer
15 years 5 months ago
2005
Springer
Computer-based simulation is an important tool for surgical skills training and assessment. In general, the degree of realism experienced by the trainees is determined by the visua...