1127 search results - page 63 / 226 » Theory Extension in ACL2(r) |
120
click to vote
TC
2010
14 years 11 months ago
2010
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
108
click to vote
ICFP
2008
ACM
16 years 22 days ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
125
click to vote
FCT
2003
Springer
15 years 6 months ago
2003
Springer
The bandwidth minimization problem has a long history and a number of practical applications. In this paper we introduce a natural extension of bandwidth to partially ordered layo...
96
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
This paper describes a series of user studies on how people use the Web via mobile devices. The data primarily comes from contextual inquiries with 47 participants between 2004 an...
88
Voted
PODS
2000
ACM
15 years 5 months ago
2000
ACM
We consider spatial databases in the plane that can be defined by polynomial constraint formulas. Motivated by applications in geographic information systems, we investigate line...