1992 search results - page 96 / 399 » On the (limited) power of non-equivocation |
105
Voted
JSS
1998
15 years 1 months ago
1998
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...
126
click to vote
SAICSIT
2010
ACM
14 years 11 months ago
2010
ACM
The rapid growth and development of wireless communication services and applications corresponds to an increase in associated energy consumption. For broadband wireless network de...
107
Voted
ESWS
2010
Springer
15 years 6 months ago
2010
Springer
The sizes of datasets available as RDF (e.g., as part of the Linked Data cloud) are increasing continuously. For instance, the recent DBpedia version consists of nearly 500 million...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This paper studies two kinds of simulation between cellular automata: simulations based on factor and simulations based on sub-automaton. We show that these two kinds of simulation...
104
click to vote
HPCA
2008
IEEE
16 years 2 months ago
2008
IEEE
Estimating the maximum power and thermal characteristics of a processor is essential for designing its power delivery system, packaging, cooling, and power/thermal management sche...