5683 search results - page 387 / 1137 » Interactive Schedulability Analysis |
203
click to vote
SIGGRAPH
1996
ACM
15 years 11 months ago
1996
ACM
Scratches on old films must be removed since these are more noticeable on higher definition and digital televisions. Wires that suspend actors or cars must be carefully erased dur...
193
click to vote
JAMIA
2011
14 years 10 months ago
2011
Objective To measure the time spent authoring and viewing documentation and to study patterns of usage in healthcare practice. Design Audit logs for an electronic health record we...
217
click to vote
IDA
2009
Springer
16 years 5 days ago
2009
Springer
Knowledge extraction from data volumes of ever increasing size requires ever more flexible tools to facilitate interactive query. Interactivity enables real-time hypothesis testin...
189
click to vote
CADE
2008
Springer
16 years 8 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
219
click to vote
MOBIHOC
2005
ACM
16 years 7 months ago
2005
ACM
: In this paper, we analyze the node scheduling approach of topology control in the context of reliable packet delivery. In node scheduling, only a minimum set of nodes needed for ...