Sciweavers

1338 search results - page 74 / 268
» Consistent Code Generation from UML Models
Sort
View
CORR
2010
Springer
130views Education» more  CORR 2010»
15 years 3 months ago
Fractional Repetition Codes for Repair in Distributed Storage Systems
Abstract—We introduce a new class of exact MinimumBandwidth Regenerating (MBR) codes for distributed storage systems, characterized by a low-complexity uncoded repair process tha...
Salim Y. El Rouayheb, Kannan Ramchandran
108
Voted
CP
2005
Springer
15 years 10 months ago
Towards the Systematic Generation of Channelling Constraints
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...
Bernadette Martínez Hernández, Alan ...
ICCV
2007
IEEE
15 years 11 months ago
Deformable Template As Active Basis
This article proposes an active basis model and a shared pursuit algorithm for learning deformable templates from image patches of various object categories. In our generative mod...
Ying Nian Wu, Zhangzhang Si, Chuck Fleming, Song C...
PCM
2004
Springer
103views Multimedia» more  PCM 2004»
15 years 10 months ago
Spectral Coding of Three-Dimensional Mesh Geometry Information Using Dual Graph
In this paper, we propose a new scheme for the geometry coding of three-dimensional (3-D) mesh models using a dual graph. In order to compress the mesh geometry information, we gen...
Sung-Yeol Kim, Seung-Uk Yoon, Yo-Sung Ho
246
Voted
POPL
2009
ACM
16 years 5 months ago
The semantics of x86-CC multiprocessor machine code
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...
Susmit Sarkar, Peter Sewell, Francesco Zappa Narde...