Sciweavers

1209 search results - page 28 / 242
» Universal Algebra and Computer Science
Sort
View
CCGRID
2006
IEEE
14 years 2 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»
13 years 10 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
14 years 12 days 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
14 years 5 days 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
14 years 2 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...