4460 search results - page 772 / 892 » Resources in process algebra |
178
click to vote
JNW
2006
15 years 6 months ago
2006
In this study, we propose a novel mobile tracking method based on Multi-Criteria Decision Making (MCDM), in which uncertain parameters such as Pilot Signal Strength (PSS), the dist...
171
click to vote
ET
2007
15 years 6 months ago
2007
This article describes an emulation-based method for locating stuck-at faults in combinational and synchronous sequential circuits. The method is based on automatically designing a...
195
click to vote
EWC
2007
15 years 6 months ago
2007
This paper presents research that led to the design and implementation of fast and interactive collision detection methods that can be used to identify and report undesirable conï¬...
166
click to vote
PE
2008
Springer
15 years 6 months ago
2008
Springer
As the size of parallel computers increases, as well as the number of sources per router node, congestion inside the interconnection network rises significantly. In such systems, ...
166
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...