755 search results - page 81 / 151 » Sequential Diagnosis by Abstraction |
146
click to vote
INFOCOM
2008
IEEE
16 years 17 days ago
2008
IEEE
Abstract—Inference of the routing topology and link performance from a node to a set of other nodes is an important component of network monitoring and application design. In thi...
168
click to vote
INFOCOM
2008
IEEE
16 years 17 days ago
2008
IEEE
Abstract—Distributed spectrum sensing (DSS) enables a Cognitive Radio (CR) network to reliably detect licensed users and avoid causing interference to licensed communications. Th...
176
click to vote
B
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
178
click to vote
LCPC
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...
150
click to vote
ICPPW
2006
IEEE
16 years 6 days ago
2006
IEEE
In retargeting loop-based code for multimedia instruction set extensions, a critical issue is that vector data types of mixed precision within a loop body complicate the paralleli...