WebIndex < RAP

AcumenBot

Main.YilongYao

r5 - 20 Sep 2008 - 10:37

AcumenBot Background The purpose of this project is to accurately simulate the movement of a RCX2 Lego robot using the physical simulation language Acumen. This project ...

AcumenBot2

Main.YilongYao

r2 - 16 Sep 2008 - 19:18

AcumenBot Background The purpose of this project is to accurately simulate the movement of a RCX2 Lego robot using the physical simulation language Acumen. This project ...

AcumenHome

Main.JunInoue

r39 - 30 Dec 2007 - 23:31

Acumen Acumen is a physical simulation language. Demo for modeling a bus suspension system in Acumen. Tutorial Windows executable (requires Glade ...

AlternationCalculusAbstract

Main.EmirPasalic

r2 - 12 Apr 2006 - 14:01

Abstract: This talk describes work in progress to develop a calculus for program verification in which implementations and specifications are both written in the untyped ...

Awards

Main.AlexStoll

r2 - 18 Apr 2008 - 00:14

Awards 2008 Jun Inoue Graduate Fellowship, Rice University Angela Zhu Schlumberger Graduate Fellowship Gregory Malecha Outstanding ...

CCEPaperSummaries

Main.SethFogarty

r2 - 18 Dec 2006 - 16:29

Summaries of Papers 1. Jenner and Lange (overview) (1997) (read, put summary) 1. Valiente (tutorial on subtree isomorphism) (2001 slides) 1. Bunke (common ...

Columbia

Main.EmilyFortuna

NEW - 19 Feb 2006 - 10:13

EmilyFortuna 19 Feb 2006 The COLUMBIA CREW MEMORIAL UNDERGRADUATE SCHOLARSHIP is awarded by the Texas Space Grant Consortium, together with NASA and the Aviation and ...

ColumbiaCrewScholarship

Main.EmilyFortuna

r2 - 06 Mar 2006 - 11:50

EmilyFortuna 06 Mar 2006 COLUMBIA CREW MEMORIAL UNDERGRADUATE SCHOLARSHIP The COLUMBIA CREW MEMORIAL UNDERGRADUATE SCHOLARSHIP is awarded by the Texas Space Grant ...

CoolBits

Main.WalidTaha

r20 - 05 Jun 2008 - 05:51

Cool Bits The place to post and read about cool things you've learned about and are of interest to the group. Please add things to top of list. By reading ...

CurrentEvents

Main.RickManning

r8 - 16 Sep 2008 - 16:38

The following is a list of people that have cars (drivers) and people that would like to get a ride with them (passengers) from Rice to go to Eric's dinner on Wedensday ...

DavePeixotto

Main.DavePeixotto

NEW - 06 Dec 2005 - 16:58

I am interested in functional programming, reflection, software engineering, scripting languages among other things. DavePeixotto 06 Dec 2005

EMTCollaboration

Main.WalidTaha

r6 - 18 Jan 2008 - 06:15

Ideas for the NSF EMT Program (collaboration with Luay) 2008/01/18 I read the paper, and I read the EMT call. The following notes are based ONLY on the call (I didn ...

FeedbackPaper

Main.WalidTaha

r2 - 28 Aug 2008 - 22:04

RAP Feedback on Papers Feedback on a paper should come in the form of a critique. Here are my guidelines for a paper critique: What's expected in a paper review ...

FeedbackTalk

Main.JunInoue

r22 - 04 Sep 2008 - 21:14

RAP Feedback Form for Talks Fill this information before start of talk: Date: Speaker: Subject: Speaker started talk at (time): During the ...

FormerMembers

Main.RoumenKaiabachev

r2 - 22 Oct 2007 - 21:24

Former Members Kedar Swadi (now at Persistent Systems Pvt. Ltd, Pune, India), Jeremy Siek, Stephan Ellner (now at Google), Fogarty, Roumen ...

Funding

Main.WalidTaha

NEW - 08 Feb 2008 - 17:34

Funding for the Resource Aware Programming (RAP) Research Group at Rice Our research projects is funded by several awards from federal sources and from industry, including ...

IT-SatreeWomenUsingTechnologyForCommunityConcern

Main.EmilyFortuna

r2 - 20 Feb 2006 - 19:32

IT Satree: Women Using Technology for Community Concerns is a summer internship program in Thailand for women who are majoring in computer science and electrical engineering ...

KathiBowlesScholarship

Main.EmilyFortuna

r10 - 06 Mar 2006 - 11:58

EmilyFortuna 06 Mar 2006 Kathi Bowles Scholarship for Women in Computing Introduction History Every year, the Houston chapter of the Association for Women in ...

Kathi_Bowles

Main.EmilyFortuna

NEW - 24 Feb 2006 - 22:23

EmilyFortuna 25 Feb 2006 Kathi Bowles Scholarship for Women in Computing Introduction History Every year, the Houston chapter of the Association for Women in ...

LanguageNews

Main.WalidTaha

r3 - 17 Sep 2008 - 13:24

Programming Languages News New and exciting innovations continue to be introduced to programming languages all the time. This page carries points to various interesting ...

Ledit

Main.WalidTaha

r3 - 02 May 2006 - 19:07

OVERVIEW: Ledit is a line editor, allowing to use control commands like in emacs or in shells (bash, tcsh). To be used with interactive commands. It is written in ...

MBOS

Main.RichieGill

r33 - 12 Jul 2006 - 21:59

MBOS Math Based Operating System The aim of MBOS is to recover the original goals of the computer and operating system and integrate these concepts into modern computers ...

Maintain

Main.SethFogarty

r8 - 04 Nov 2005 - 12:52

Welcome to the home of RAP. This is a web based collaboration area for ... Seminar05F Site Tools of the RAP Web Notes:

MemoAcumenUserGuide

Main.YunZhu

r97 - 19 Feb 2008 - 21:19

Acumen User Guide Release Notes: Version 1.0, based on Acumen alpha 2007 11 01. Authors: The Acumen Development Team at Rice. Acumen is a simulation environment ...

MemoCodingStyle

Main.JunInoue

r36 - 03 Dec 2007 - 14:50

Acumen Coding Style Guidelines This page documents coding style guidelines originally developed for Acumen. It is meant to be applicable to any other free/open source ...

Multi-StageProgramming

Main.TWikiGuest

r2 - 19 Oct 2005 - 14:36

Multi stage Programming (MSP) Type safe program generation. Introduction In addition to having the usual constructs of a general purpose language, '''multi stage ...

NOGAPSInstallation

Main.EmirPasalic

r7 - 29 Jan 2007 - 16:20

NOGAPS Installation Make sure you have intel compilers (c and fortran installed) On boromir these are in /local/pkgs/intel 9.0 source the following ...

OpenQuestions

Main.WalidTaha

NEW - 08 Feb 2008 - 17:27

Open Questions The following is a list of interesting questions that come up in discussions, and that I would like to see answered. The list is publicly available ...

OpeningPostdoc

Main.WalidTaha

r2 - 25 Nov 2005 - 08:27

Postdoctoral Research Scientist (Posted 2/14/2003. NOW CLOSED) Department of Computer Science Rice University The Resource Aware Programming project at Rice University ...

Openings

Main.WalidTaha

r6 - 06 Aug 2008 - 19:36

Openings Projects for Century Scholars (2008/04/16) Post doctral Fellows (2007/11/05) Doctoral Students (2007/11/11) Undergraduate Students (2007/11 ...

OpeningsGraduate

Main.WalidTaha

r2 - 30 Nov 2007 - 13:09

Opening for Doctoral Students Start date: Fall (August) 2008. The Resource aware Programming (RAP) research group at Rice University conducts cutting edge research ...

OpeningsPostdoctoral

Main.WalidTaha

r13 - 30 Nov 2007 - 13:09

Opening for Post Doctoral Research Fellow Start date: Anytime after January 2008. The Resource aware Programming (RAP) research group at Rice University conducts ...

OpeningsStaff

Main.RickManning

r6 - 16 Sep 2008 - 18:43

Opening for Administrative Assistant The Resource aware Programming (RAP) research group at Rice University conducts cutting edge research in building for challenging ...

OpeningsUndergrad

Main.CherifSalama

r73 - 30 Oct 2007 - 21:27

Undergraduate Research Projects The Resource aware Programming (RAP) research group at Rice conducts cutting edge research in designing new languages for a wide range ...

Overviews

Main.WalidTaha

NEW - 08 Feb 2008 - 17:37

Overviews of Research at the Resource Aware Programming (RAP) Group at Rice The following selection of the materials provide high level introductions to some of the ...

PastScholarships

Main.EmilyFortuna

r5 - 13 Mar 2006 - 10:53

Scholarships for the Seeking These are scholarships whose deadlines have passed, but will be available for next year. For Both Undergraduates and Graduates: ...

People

Main.WalidTaha

NEW - 08 Feb 2008 - 17:31

Members of the Resource Aware Programming (RAP) Research Group at Rice Faculty: Walid Taha Postdoctoral Fellows: Emir Pasalic PhD students: Raj B, Anthony ...

PosterDisplay

Main.YunZhu

r12 - 19 Feb 2008 - 12:54

Posters 2007 Acumen: Simulation of Mechanical Systems Compiling dynamic languages via statically typed functional languages Formalizing and Enhancing ...

ProjectPhysicalSafety

Main.WalidTaha

r112 - 29 May 2008 - 09:48

Physically Safe Computing News Coverage: Rice News Background Some of the most exciting cyber technologies on the research horizon involve sophisticated ...

Projects

Main.WalidTaha

r2 - 01 Apr 2008 - 16:05

Current Projects NSF CAREER Multi stage Programming for Object Oriented Languages NSF EHS Physically Safe Computing NSF SoD Synthesizing Device Drivers ...

RAP

Main.TWikiGuest

r2 - 21 Oct 2005 - 11:58

Welcome to the Rice PLT project on Resource Aware Programming (RAP) Languages for embedded software /emsp.gif Introduction This research group explores the impact ...

Readme

Main.RajB

r4 - 15 Dec 2007 - 11:41

Requirements: Python 2.4 or above (for the parser) OCaml 3.09 or above: Compile the OCaml compiler with the 'make opt.opt' command to generate native code versions ...

RoboticsInstitute

Main.EmilyFortuna

NEW - 19 Feb 2006 - 10:15

EmilyFortuna 19 Feb 2006 The Robotics Institute Summer Scholars program is a new summer internship program for highly qualified and motivated undergraduate students ...

RoboticsInstituteScholarshipProgram

Main.EmilyFortuna

r4 - 06 Mar 2006 - 11:54

EmilyFortuna 06 Mar 2006 Robotics Institute Summer Scholars The Robotics Institute Summer Scholars program is a new summer internship program for highly qualified ...

RoyceBuilders

Main.EmilyFortuna

NEW - 13 Feb 2006 - 16:58

EmilyFortuna 13 Feb 2006 "The RoyceBuilders.com Foundation for Youth is dedicated to providing scholarship funds and educational support systems for outstanding high ...

RoyceBuildersScholarship

Main.EmilyFortuna

r3 - 06 Mar 2006 - 11:57

EmilyFortuna 06 Mar 2006 RoyceBuilders.com Fouundation for Youth "The RoyceBuilders.com Foundation for Youth is dedicated to providing scholarship funds and educational ...

ScholarshipOpportunities

Main.EmilyFortuna

r26 - 14 Apr 2006 - 13:13

Scholarships for the Seeking Are you searching for ways to finance your education and research opportunities? These scholarships are generally oriented toward students ...

Seminar05F

Main.DavePeixotto

r8 - 19 Dec 2005 - 20:42

RAP and PLT Seminars Course #: COMP 617 Instructor: Walid Taha (DH 3110) Class time: MWF 11:00AM Class room: DH 3110 Mailing list: Rap Seminar ...

Seminar06S

Main.JunInoue

r54 - 28 Aug 2008 - 13:34

RAP Seminar Can I take this course? Requirments/options are spelled out here. Course #: COMP 617 Instructor: Walid Taha (DH 3110) Class time: ...

SeminarCredit

Main.WalidTaha

r3 - 17 Apr 2006 - 22:35

Who can take this course Graduate student members and post doctoral fellows affiliated with the Resource aware Programming research group are expected to participate ...

SeminarWishList

Main.EmirPasalic

r3 - 12 Apr 2006 - 14:06

Seminar Wish List Paper Wish List Ital Resource bound certification The Logical Approach to Stack Typing Functional In place Update with Layered Datatype Sharing ...

SethFogarty

Main.SethFogarty

NEW - 25 Nov 2005 - 16:50

Seth Fogarty's Minimalist Rice Webpage I am a member of Walid Taha's RAP group at Rice University. I have worked with Seth Nielson and Dan Wallach on Google Desktop ...

ShellScholarships

Main.EmilyFortuna

r2 - 06 Mar 2006 - 11:45

EmilyFortuna 13 Feb 2006 The Shell Oil Company Technical Scholarship Shell Oil Company offers scholarships to selected students pursuing a four year college degree ...

TalkStallman

Main.WalidTaha

r36 - 18 Aug 2008 - 09:10

Richard Stallman: Free Software in Ethics and in Practice Speaker Richard Stallman (Free Software Foundation) ^ Title Free Software in Ethics ...

TaskBioinformatics

Main.RajB

r2 - 24 Apr 2008 - 16:50

Bio informatics programming languages A comparison of common bioinformatics languages Projects Page of the Open Bioinformatics foundation. The following ...

TaskMonty

Main.RajB

r32 - 28 Apr 2008 - 09:51

TaskMonty Python Compiler Owner: Raj Bandyopadhyay Goal: To implement a Python compiler by translating Python to OCaml Team: Raj Bandyopadhyay, Pete Hokanson ...

TaskMontyFFI

Main.PeterHokanson

r20 - 10 Nov 2007 - 17:52

The Monty Project FFI Task Owners: Blake Kaplan, Peter Hokanson. Goal: To create a foreign function interface to allow OCaml to access and execute Python libraries ...

TechnicalWriting

Main.YunZhu

r14 - 11 Oct 2008 - 13:11

Tips for Technical Writing Quick references: AskOxford, Better writing skills, Advice for students, Better writing through design Here are some technical ...

Test

Main.SethFogarty

r8 - 24 Feb 2006 - 12:57

Main Page WebHome SethFogarty 11 Nov 2005 http://pub.resource aware.org/Test/band markov simple.ml band markov simple.ml: A change has been made And ...

UpcomingConferences

Main.CherifSalama

r44 - 16 Oct 2008 - 16:06

On this page we maintain a list of upcoming conferences, upcomming summer schools, followed by past conferences. Please, follow format of current entries for new ...

VPP

Main.CherifSalama

r61 - 30 Sep 2008 - 23:41

Verilog Preprocessor (VPP) Verilog Preprocessor (VPP) is a tool for disciplined preprocessing of Verilog hardware descriptions. Given a description, VPP does pre ...

WebChanges

Main.PeterThoeny

NEW - 16 Aug 2001 - 14:58

WebHome

Main.WalidTaha

r141 - 17 Oct 2008 - 12:29

Resource Aware Programming var sc project 4124592; var sc invisible 1; var sc partition 49; var sc click stat 1; var sc security "87729f92"; People \ ...

WebIndex

Main.PeterThoeny

r2 - 24 Nov 2001 - 05:41