7225 search results - page 1406 / 1445 » Software is data too |
126
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
116
click to vote
SAC
2003
ACM
15 years 7 months ago
2003
ACM
DNA microarray hybridisation is a popular high throughput technique in academic as well as industrial functional genomics research. In this paper we present a new approach to auto...
111
click to vote
SIGUCCS
2003
ACM
15 years 7 months ago
2003
ACM
Rapid product or service deployment is most commonly thought of in the corporate, rather than academic, environment. Utilizing a rapid deployment process and a number of highly de...
157
click to vote
TLDI
2003
ACM
15 years 7 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
133
click to vote
VRST
2003
ACM
15 years 7 months ago
2003
ACM
Researchers have had great success using motion capture tools for controlling avatars in virtual worlds. Another current of virtual reality research has focused on building collab...