535 search results - page 51 / 107 » Concurrency Control: Methods, Performance, and Analysis |
SACMAT
2011
ACM
12 years 10 months ago
2011
ACM
The advent of emerging technologies such as Web services, serviceoriented architecture, and cloud computing has enabled us to perform business services more efficiently and effec...
NCA
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we propose and analyze a methodology for providing statistical guarantees within the diffserv model in a network, that uses static-priority schedulers. We extend th...
GEOINFORMATICA
2007
13 years 8 months ago
2007
Orthophotos (or orthoimages if in digital form) have long been recognised as a supplement or alternative to standard maps. The increasing applications of orthoimages require effor...
EMSOFT
2007
Springer
13 years 12 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
SAS
2007
Springer
14 years 2 months ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...