Sciweavers

949 search results - page 9 / 190
» Programmed Mutagenesis Is Universal
Sort
View
POPL
2005
ACM
14 years 7 months ago
A bisimulation for type abstraction and recursion
traction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania
Eijiro Sumii, Benjamin C. Pierce
NSDI
2004
13 years 8 months ago
Measurement and Analysis of Spyware in a University Environment
Over the past few years, a relatively new computing phenomenon has gained momentum: the spread of "spyware." Though most people are aware of spyware, the research commun...
Stefan Saroiu, Steven D. Gribble, Henry M. Levy
ECOOP
2007
Springer
14 years 1 months ago
Generic Universe Types
Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. This paper presents an ownership type system for a Javalike pr...
Werner Dietl, Sophia Drossopoulou, Peter Müll...
SERVICES
2008
86views more  SERVICES 2008»
13 years 9 months ago
A Reference Curriculum for Service Engineering
Described here is a proposed curriculum design for service engineering based on the six years of experience of a master's program at the School of Software and Microelectroni...
Frank C. Tung
MICRO
2003
IEEE
116views Hardware» more  MICRO 2003»
14 years 22 days ago
Universal Mechanisms for Data-Parallel Architectures
Data-parallel programs are both growing in importance and increasing in diversity, resulting in specialized processors targeted at specific classes of these programs. This paper ...
Karthikeyan Sankaralingam, Stephen W. Keckler, Wil...