Sciweavers

1254 search results - page 204 / 251
» A graphical computer simulator for systems programming cours...
Sort
View
ACMSE
2007
ACM
15 years 2 months ago
BehaviorSim: towards an educational tool for behavior-based agent
A major paradigm of modeling the decision making of autonomous agents is through behavior-based network models. The network consists of distributed behaviors that compete (or coop...
Pavel Lakhtanau, Xiaolin Hu, Fasheng Qiu
ASPLOS
1992
ACM
15 years 2 months ago
Application-Controlled Physical Memory using External Page-Cache Management
Next generation computer systems will have gigabytes of physical memory and processors in the 200 MIPS range or higher. While this trend suggests that memory management for most p...
Kieran Harty, David R. Cheriton
PLDI
2009
ACM
15 years 4 months ago
A weakest precondition approach to active attacks analysis
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
Musard Balliu, Isabella Mastroeni
SIGGRAPH
2010
ACM
15 years 2 months ago
Street slide: browsing street level imagery
Systems such as Google Street View and Bing Maps Streetside enable users to virtually visit cities by navigating between immersive 360◦ panoramas, or bubbles. The discrete moves...
Johannes Kopf, Billy Chen, Richard Szeliski, Micha...
SIGGRAPH
2010
ACM
15 years 1 months ago
Camera-less Smart Laser Projector
We introduce here our latest ‘smart laser projector’ prototype, i.e, a modified laser-based projector capable of augmenting all kind of surfaces while simultaneously using th...
Álvaro Cassinelli, Alexis Zerroug, Yoshihir...