6201 search results - page 1118 / 1241 » Implementation of Axiomatic Language |
159
click to vote
CGO
2011
IEEE
14 years 8 months ago
2011
IEEE
—This paper describes our trace-based JIT compiler (trace-JIT) for Java developed from a production-quality method-based JIT compiler (method-JIT). We first describe the design a...
140
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
A lot of people still rely on pen and paper for taking short notes. Post-Its® are still the most popular paper media for informal note taking. In this paper, we present the desig...
163
Voted
IUI
2011
ACM
14 years 8 months ago
2011
ACM
This paper describes an approach to allow end users to define new procedures through tutorial instruction. Our approach allows users to specify procedures in natural language in t...
186
click to vote
KCAP
2011
ACM
14 years 7 months ago
2011
ACM
With billions of assertions and counting, the Web of Data represents the largest multi-contributor interlinked knowledge base that ever existed. We present a novel framework for a...
142
click to vote
LR
2011
14 years 7 months ago
2011
Abstract We present methods and tools for modeling autonomously controlled production networks and investigation of their stability properties. Production networks are described as...