1221 search results - page 158 / 245 » A Comparison of Two Programming Models for Pervasive Computi... |
115
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
131
Voted
ENTCS
2006
15 years 3 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
123
Voted
WCNC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—We tackle the problem of providing minimum datarate guarantees for different classes-of-service in an OFDMAbased network, while obtaining a high system throughput. Our a...
129
Voted
JPDC
2008
15 years 3 months ago
2008
This research investigates the problem of robust static resource allocation for distributed computing systems operating under imposed Quality of Service (QoS) constraints. Often, ...
117
Voted
BIOCOMP
2008
15 years 5 months ago
2008
- Here proposed apriori method for identification of protein flexibility relies on one end-state conformation of the protein. This method has comparative advantage over many others...