7274 search results - page 1131 / 1455 » Abstractions for network update |
208
click to vote
SEUS
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract. The application of run-time reconfigurable component models to networked embedded systems has a number of significant advantages such as encouraging software reuse, ada...
254
Voted
SISAP
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—We propose a strategy to perform query processing on P2P similarity search systems based on peers and superpeers. We show that by approximating global but resumed inform...
182
Voted
P2P
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—This paper describes T-SIZE, a peer counting protocol that is based on gossip-based aggregation. Peer counting has become increasingly important as the size of the netwo...
212
click to vote
RTAS
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Real-time systems on non-preemptive platforms require a means of bounding the execution time of programs for admission purposes. Worst-Case Execution Time (WCET) is most...
185
Voted
ISMVL
2009
IEEE
16 years 2 months ago
2009
IEEE
For formal verification of hardware Satisfiability Modulo Theory (SMT) solvers are increasingly applied. Today’s state-of-the-art SMT solvers use different techniques like ter...