13383 search results - page 379 / 2677 » Abstractions from proofs |
233
click to vote
TIT
2002
15 years 6 months ago
2002
Abstract--The use of multicast inference on end-to-end measurement has recently been proposed as a means to infer network internal characteristics such as packet link loss rate and...
208
click to vote
DSD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Recent technology trends have made radiationinduced soft errors a growing threat to the reliability of microprocessors, a problem previously only known to the aerospace i...
198
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper introduces the task of Technology-Structure Mining to support Management of Technology. We propose a linguistic based approach for identification of Technology...
150
Voted
ECEASST
2010
15 years 4 months ago
2010
Abstract: The need of confidence that a product or service actually possesses declared behavioural / structural characteristics is the main reason for certification. It seems that ...
190
click to vote
ARC
2011
Springer
15 years 1 months ago
2011
Springer
Abstract. In this paper, we take a MIPS-based open-source uniprocessor soft core, Plasma, and extend it to obtain the Beefarm infrastructure for FPGA-based multiprocessor emulation...