Search Sciweavers | Sciweavers

7661 search results - page 103 / 1533

» Languages and the Computing Profession

110

click to vote

SIGCSE
2006
ACM

170views Education» more SIGCSE 2006»

MARS: an education-oriented MIPS assembly language simulator

15 years 11 months ago

Download courses.missouristate.edu

We describe the implementation of “MARS,” a GUI, Java-based simulator for the MIPS assembly language. MIPS, the computer architecture underlying the simulated assembly languag...

Kenneth Vollmar, Pete Sanderson

claim paper

Read More »

141

Voted

MKM
2004
Springer

106views Information Technology» more MKM 2004»

Flexible Encoding of Mathematics on the Computer

15 years 10 months ago

Download www.cedar-forest.org

This paper reports on reﬁnements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...

Fairouz Kamareddine, Manuel Maarek, J. B. Wells

claim paper

Read More »

161

Voted

ESOP
2008
Springer

184views Programming Languages» more ESOP 2008»

Verification of Higher-Order Computation: A Game-Semantic Approach

15 years 6 months ago

Download users.comlab.ox.ac.uk

Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...

C.-H. Luke Ong

claim paper

Read More »

129

Voted

CIBCB
2008
IEEE

89views Computational Biology» more CIBCB 2008»

Improving feature representation of natural language gene functional annotations using automatic term expansion

15 years 11 months ago