1256 search results - page 154 / 252 » Modeling operator performance for error analysis |
112
click to vote
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
— Reducing the ever-growing leakage power is critical to power efficient designs. Leakage reduction techniques such as power-gating using sleep transistor insertion introduces la...
116
Voted
EWSN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A theoretical framework is proposed for accurate performance analysis of minimum energy coding schemes in Coded Division Multiple Access (CDMA) wireless sensor networks. ...
113
Voted
PASTE
2010
ACM
15 years 7 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
140
click to vote
IFM
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
144
click to vote
AADEBUG
1995
Springer
15 years 5 months ago
1995
Springer
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...