Sciweavers

1209 search results - page 28 / 242
» Universal Algebra and Computer Science
Sort
View
CCGRID
2006
IEEE
15 years 5 months ago
A Shibboleth-Protected Privilege Management Infrastructure for e-Science Education
Simplifying access to and usage of large scale compute resources via the Grid is of critical importance to encourage the uptake of e-Research. Security is one aspect that needs to...
J. P. Watt, Oluwafemi Ajayi, Jipu Jiang, Jos Koets...
JVM
2001
105views Education» more  JVM 2001»
15 years 1 months ago
A Java Compiler for Many Memory Models
ompiler for Many Memory Models { extended abstract Samuel P. Midki IBM TJ Watson Research Jaejin Lee Dept. of Computer Science and Engineering, Michigan State University David A. P...
Samuel P. Midkiff
ACSC
2004
IEEE
15 years 3 months ago
The Effectiveness of Innovative Approaches to CS1: Comparing Opinion to Outcome
Handheld computers (Pocket PCs) have been required of all entering CS majors at the University of Minnesota
James D. Allert
SIGGRAPH
1995
ACM
15 years 3 months ago
Automated learning of muscle-actuated locomotion through control abstraction
Control Abstraction Radek Grzeszczuk and Demetri Terzopoulos Department of Computer Science, University of Toronto 1
Radek Grzeszczuk, Demetri Terzopoulos
LICS
2007
IEEE
15 years 6 months ago
Local Action and Abstract Separation Logic
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yan...