107 search results - page 9 / 22 » Specifying the Correctness of Binding-Time Analysis |
HF
2002
14 years 11 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
80
Voted
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--The information propagation speed (IPS) of a network specifies how fast the information can be transmitted in a network. In this paper, we derive an IPS upper bound in co...
ICPR
2010
IEEE
14 years 9 months ago
2010
IEEE
Similarity based pattern recognition is concerned with the analysis of patterns that are specified in terms of object dissimilarity or proximity rather than ordinal values. For man...
SIGSOFT
2003
ACM
16 years 13 days ago
2003
ACM
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....
169
click to vote
POPL
2005
ACM
16 years 1 days ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...