17049 search results - page 385 / 3410 » cans 2007 |
147
click to vote
SPRINGSIM
2007
15 years 8 months ago
2007
Modeling and simulation tools have been used for helping in the early stages of hardware/software systems design. The DEVS formalism is a technique that enables hierarchical descr...
196
click to vote
SYRCODIS
2007
15 years 8 months ago
2007
Effective querying and managing of temporal databases represent an unanswered challenge to the modern research community. In this paper, we introduce a temporal preprocessor that ...
170
click to vote
WCET
2007
15 years 8 months ago
2007
We present a method to find static path exclusions in a control flow graph in order to refine the WCET analysis. Using this information, some infeasible paths can be discarded ...
202
click to vote
EJC
2008
15 years 7 months ago
2008
Partially ordered sets labeled with k labels (k-posets) and their homomorphisms are examined. The homomorphicity order of k-posets is shown to be a distributive lattice. Homomorph...
128
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We demonstrate a two-player communication problem that can be solved in the oneway quantum model by a 0-error protocol of cost O (log n) but requires exponentially more communicat...