7195 search results - page 715 / 1439 » On Computing Power |
214
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Dynamic textures can be considered to be spatio-temporally varying visual patterns in image sequences with certain temporal regularity. We propose a novel and efficient approach t...
199
click to vote
NSDI
2007
15 years 9 months ago
2007
Debugging and profiling large-scale distributed applications is a daunting task. We present Friday, a system for debugging distributed applications that combines deterministic re...
189
Voted
ACMIDC
2008
15 years 9 months ago
2008
Given the fracturing of virtual and physical spaces, young people are less involved in their local surrounding spaces. Yet, investing the community space is related to sense of co...
191
Voted
ASM
2008
ASM
15 years 9 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...
208
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
In this paper a sequence of model transformation languages L0, L1, L2 is defined. The first language L0 is very simple, and for this language it is easy to build an efficient compi...