| Whois | Domain Search | Domain Suggestions | For Sale | Sales History | Auction Search | Domain Monitor | Domain Directory |
<< | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | >>
| Computers / Programming / Languages / Regular_Expressions / Research_Papers | |
| Fast Regular Expression Matching using FPGAs | |
| By Reetinder Sidhu and Viktor K. Prasanna. | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.730 | |
| Computers / Programming / Languages / Regular_Expressions / Research_Papers | |
| Regular Expressions for Language Engineering | |
| By Lauri Karttunen, Jean-Pierre Chanod, Gregory Grefenstette, and Anne Schiller. | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.4880 | |
| Computers / Programming / Languages / Smalltalk / Self | |
| dSelf: A Distributed Self | |
| Extension to delegation and prototype-based object-oriented language Self: adds distributed objects, transparent remote reference resolution, thus facilitating distributed inheritance and instantiation mechanisms. [ResearchIndex] | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.3241 | |
| Computers / Programming / Languages / Specification | |
| ResearchIndex: Structure-preserving specification languages for knowledge-based systems | |
| Much work on validation and verification of knowledge based systems (KBSs) has been done in implementation languages, mostly rule based. Recent papers suggest it is useful to do validation and verification in a more abstract and formal specification of the system. | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.8800 | |
| Computers / Programming / Languages / Specification | |
| ResearchIndex: Proof Theoretic Approach To Specification Languages | |
| Thesis studies FORUM as specification language. FORUM is a higher order logic based on the logical connectives of Linear Logic. Initial example demonstrates that FORUM is well suited to specify concurrent computations by specifying the higher order ß calculus. | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.7714 | |
| Computers / Programming / Languages / Synchronous | |
| The Esterel Synchronous Programming Language: Design, Semantics, Implementation | |
| Abstract on paper on reactive kernels making the central, hardest part of reactive systems; Esterel is not full language, it is a program generator used to program reactive kernels as YACC programs parsers from grammars. [ResearchIndex] | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.5606 | |
| Computers / Programming / Languages / Tempo | |
| Tempo: A Declarative Concurrent Programming Language | |
| Based on classical first-order logic; improves on usual concurrent logic languages (eg, Parlog) by explicitly specifying aspects of behavior of concurrent programs, namely: safety properties; gives advantages in writing concurrent programs and manipulating them while preserving correctness. | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.7555 | |
| Computers / Programming / Languages / Tempo | |
| A Logic-Based Concurrent Object-Oriented Programming Language | |
| Article Rafael Ramirez. | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.8091 | |
| Computers / Programming / Languages / Visual | |
| ResearchIndex: Viz: A Visualization Programming System | |
| Describes design, implementation of high level visualization programming system, created from a need to support rapid visual prototyping in an environment that can be extended by abstractions in the application problem domain. | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.6094 | |
| Computers / Programming / Languages / Visual / Books | |
| Programming in Three Dimensions | |
| By Marc Najork. This thesis describes Cube, the first visual language to employ a three-dimensional syntax. | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.1619 | |
| Computers / Security / Authentication / One_Time_Passwords | |
| The S/KEY One-Time Password System | |
| Scholarly paper by Neil Haller on the original S/Key system. Links to many citations from the original paper. | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.6790 | |
| Computers / Security / Intrusion_Detection_Systems / Research | |
| ResearchIndex, IDS section | |
| ResearchIndex is a scientific literature digital library that aims to improve the dissemination and feedback of scientific literature, and to provide improvements in functionality, usability, availability, cost, comprehensiveness, efficiency, and timeliness. | |
| http://citeseer.ist.psu.edu/Security/IntrusionDetection/ | |
| Computers / Security / Policy | |
| A Structured Approach to Computer Security | |
| A security policy is a set of rules written in general terms stating what is permitted and what is not permitted in a system during normal operation. | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.5867 | |
| Computers / Security / Research | |
| Penn State S2 Group | |
| General cyber security lab at the United States university. Includes current and past projects, software, publications, and events. | |
| http://ist.psu.edu/s2/ | |
| Computers / Software / Build_Management / Resources | |
| Make It - Generating and Maintaining Makefiles Automatically | |
| Schönherr and Wolff 1998 - A set of makefile dependency generator tools for working with files written in Knuth's Literate Programming style. | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.2173 | |
| Computers / Software / Build_Management / Resources | |
| The Fourth Generation Make | |
| Fowler 1985 - A new make tool with support for CPP, dependency generation, compiled makefiles, parallel execution, pathname parsing operators, and a powerful metalanguage for builtin rules. | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.6629 | |
| Computers / Software / Build_Management / Resources | |
| Make - A Program For Maintaining Computer Programs | |
| Feldman 1979 - The original make paper, including makefile syntax, implicit rules, double colon targets, macros, VPATH macro, and the usual cleanup and install targets. | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.7058 | |
| Computers / Software / Build_Management / Resources | |
| An Automatic Make Facility | |
| Holyer and Pehlivan 2000 - Program uses no makefile. It records manually-issued compilation commands the first time round, then rebuilds programs using recorded command traces. | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.5968 | |
| Computers / Software / Build_Management / Resources | |
| Parallel and Distributed Compilations in Loosely-Coupled Systems - A Case Study | |
| Baalbergen 1986 - Distributing machine specific compilation phases among machines with a distributed make program is about 3.5 times faster. | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.1398 | |
| Computers / Software / Build_Management / Resources | |
| PGMAKE: A Portable Distributed Make System | |
| Lih and Zadok 1994 - Reports design issues and results of modifying GNU Make to do distributed makes using the Oakridge PVM Parallel Virtual Machine. | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.7432 | |
| Computers / Software / Build_Management / Resources | |
| A Case For Make | |
| Fowler 1990 - Explains many old-make limitations and new-make (Nmake) features including procedure rules, accuracy mechanisms, viewpathing, and semaphores for blocking unwanted parallelism. | |
| http://citeseer.ist.psu.edu/old/fowler90case.html | |
| Computers / Software / Globalization / Character_Encoding | |
| Tips & Techniques for Foreign Content on the Web | |
| Pennsylvania State University's guide to reading and publishing different languages on the web. Includes details of various encoding systems and links. | |
| http://tlt.its.psu.edu/suggestions/international/ | |
| Computers / Software / Internet / Servers / Application / Zope / Solution_Providers | |
| WebLion | |
| Project aimed to distribute a Plone CMS for use by various departments at Penn State and eventually other various Higher Education Institutions. | |
| http://weblion.psu.edu | |
| Computers / Software / Operating_Systems / Object-Oriented / PURE | |
| PURE: On the Development of Object-Oriented Operating Systems for Deeply Embedded Systems | |
| Describes aspects of PURE Project, a small object-oriented portable, universal runtime executive (operating system) for deeply embedded parallel/distributed systems. [ResearchIndex] | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.9490 | |
| Computers / Software / Operating_Systems / Object-Oriented / PURE | |
| PURE: Design Rationale of the PURE Object-Oriented Embedded Operating System | |
| Project goal: provide a portable, universal runtime executive for deeply embedded parallel distributed systems. Deeply embedded means systems that have extreme resource constraints in memory, CPU, and power use. [ResearchIndex] | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.7088 | |
| Computers / Software / Operating_Systems / Persistent | |
| A Persistent System in Real Use: Experiences of the First 13 Years | |
| Eumel and successor L3, OSs made by GMD, have been used for 13 and 4 years respectively, for production in business, education. Over 2000 Eumel, 500 L3 have shipped since 1979, 1988. Both rely on persistence, with fault-surviving. Description, links. [ResearchIndex, CiteSeer] | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.7112 | |
| Computers / Software / Operating_Systems / Realtime / EROS | |
| Verifying Operating System Security | |
| A confined program is one unable to leak information to an unauthorized party or modify unauthorized resources, an essential feature of any secure component based system. A proof of correctness of EROS architecture for confinement. [ResearchIndex] | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.4902 | |
| Computers / Software / Operating_Systems / Realtime / EROS | |
| EROS: A Fast Capability System | |
| This capability-based OS for commodity processors uses a one level storage model; store persistence is transparent to applications. Surprisingly, performance of this very high security system matches normal OSs. [ResearchIndex] | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.400 | |
| Computers / Software / Operating_Systems / Realtime / Harmony | |
| Harmony as an Object-Oriented Operating System | |
| Ion is a key concept in the design of Harmony programs. The only interface to a task instance, once created, is message passing. Access from the outside is permitted only when a task explicitly performs a Receive operation. | |
| http://citeseer.ist.psu.edu/mackay-harmony.html | |
| Computers / Software / Operating_Systems / Single_Address_Space | |
| ResearchIndex: Architectural Support for Single Address Space Operating Systems | |
| From Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems, Boston, USA, October 1992. | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.9704 | |
| Computers / Software / Operating_Systems / Submicrokernel | |
| Exokernel: An Operating System Architecture for Application-Level Resource Management | |
| Traditional OSs limit application performance, flexibility, functionality by fixing interfaces and implementations of OS abstractions such as interprocess communication and virtual memory. Exokernel address this via application-level management of physical resources. [ResearchIndex] | |
| http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.2893 | |
| Computers / Software / Typesetting / TeX / LaTeX / Tools | |
| Latexmk | |
| Perl script to automatically run latex and related commands. It may also start a previewer and then run latex whenever the source files are updated, so that the previewer gives an up-to-date view of the document. | |
| http://www.phys.psu.edu/~collins/software/latexmk/ | |
| Computers / Software / Typesetting / TeX / Platform_Specific / Macintosh / Converters | |
| Mac Converters for TeX/LaTeX | |
| Links to a number of conversion systems. | |
| http://www.esm.psu.edu/mac-tex/tools.html#Converters | |
| Computers / Software / Workflow / Research / People | |
| Kumar, Akhil | |
| Penn State University, USA - XML-based workflow modeling languages (XRL). Includes a list of his publications, some of which are available as PDFs. | |
| http://www.personal.psu.edu/faculty/a/x/axk41 | |
| Games / Board_Games / Abstract / Battle_Games / Chess / Clubs_and_Associations / North_America / United_States / Pennsylvania | |
| Penn State Chess Team | |
| Club meeting and tournament schedule, general information about the club, results of the latest tournaments, and ratings. | |
| http://www.clubs.psu.edu/up/chessteam/ | |
| Games / Puzzles / Mazes / Outdoors / Corn / United_States / Pennsylvania | |
| Ag Progress Days | |
| Annual event. Family entertainment as well as commercial exhibits featuring goods and services, field machinery demonstrations, Penn State research, and opportunities to "ask the experts." | |
| http://apd.cas.psu.edu/ | |
| Health / Alternative / Alexander_Technique / Teachers / United_States | |
| Rajal Cohen | |
| Teacher in the USA presents resume, testimonials and photographs. | |
| http://www.personal.psu.edu/users/r/u/ruc113/index.htm | |
| Health / Child_Health / Infant_and_Toddlers | |
| Early Childhood Training Institute | |
| Training and information for parents and care providers of children birth to three years of age. Includes developmental milestones and advice on selecting child care. | |
| http://ecti.hbg.psu.edu | |
| Health / Child_Health / Infant_and_Toddlers / Excessive_Crying | |
| The Effect of Excessive Crying on the Development of Emotion | |
| Study published in Infancy. | |
| http://www.hhdev.psu.edu/ebp/stifter%20and%20spinrad%202002.pdf | |
| Health / Mental_Health / Child_and_Adolescent / Treatment / Programs_and_Services / Community-based_Programs | |
| Penn State Educational Partnership Program | |
| After-school enhancement program in 3 inner city schools in Erie, Pennsylvania for students at risk of not reaching their academic and career potential. Structured setting with teachers, tutors, and community mentors. | |
| http://www.pserie.psu.edu/pepp/peppindx.htm | |
| Health / Mental_Health / Disorders / Mood / Depression | |
| To Heal Depression | |
| A source of information on cause, diagnosis, and treatment of depression. | |
| http://www.personal.psu.edu/staff/e/x/exc147/Depr.html | |
| Health / Mental_Health / Disorders / Neurodevelopmental / Autism_Spectrum | |
| Professional Development Certificate in Autism | |
| Six-course certificate program in Autism offered by Pennsylvania State University. Description of program and courses, registration and contact information. | |
| http://www.worldcampus.psu.edu/Autism.shtml | |
| Health / Occupational_Health_and_Safety / Colleges_and_Universities | |
| Penn State University Environmental Health and Safety | |
| Responsible for the development and implementation of environmental and all occupational health and safety programs throughout Penn State's multi-campus system. | |
| http://www.ehs.psu.edu/ | |
| Health / Public_Health_and_Safety / Emergency_Services / Medical / Ambulance_Companies / North_America / United_States / Pennsylvania | |
| Penn State Emergency Medical Services | |
| Serving the University and community since approximately 1948. | |
| http://www.psu.edu/dept/ems/ | |
| Health / Public_Health_and_Safety / Rural_Health / Organizations | |
| Pennsylvania Office of Rural Health | |
| The mission of the Office is to improve the health of rural communities and their residents throughout the Commonwealth by implementing numerous objectives. | |
| http://porh.psu.edu/ | |
| Health / Women_s_Health / Pelvic_Exams_and_Pap_Tests | |
| Women's Health Pelvic Exam and Pap Smear | |
| Information from University Health Services at Pennsylvania State University about what to expect with a pelvic exam. | |
| http://www.sa.psu.edu/uhs/womenshealth/pelvicexam.cfm | |
| Home / Family / Childcare / Training | |
| Better Kid Care | |
| Penn State Cooperative Extension’s Better Kid Care Program provides educational materials, learning experiences and programs to child care providers, parents, and employers throughout the state of Pennsylvania. | |
| http://betterkidcare.psu.edu/ | |
| Home / Family / Pregnancy / Loss / Memorials / Miscarriages | |
| A Tribute to Baby X | |
| An angel after 7 short weeks of pregnancy. | |
| http://www.personal.psu.edu/faculty/d/m/dmm104/BABYX/babyx.html | |
| Home / Family / Runaways | |
| Runaway Lives: Personal Stories and Reflections by Runaways and Their Families | |
| Forum for runaways and their family members to share their experiences through writings or images. | |
| http://www2.lv.psu.edu/jkl1/runawaylives/ | |
| Home / Family / Runaways | |
| Teens in Trouble: Runaways | |
| Listing of runaway related links maintained by a parent for other parents from the site "Teens in Trouble: A Survival Page for Parents". | |
| http://www.lv.psu.edu/jkl1/teens/runaways.html | |
<< | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | >>