Sciweavers

1338 search results - page 74 / 268
» Consistent Code Generation from UML Models
Sort
View
97
Voted
CORR
2010
Springer
130views Education» more  CORR 2010»
15 years 1 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
92
Voted
CP
2005
Springer
15 years 8 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 ...
119
Voted
ICCV
2007
IEEE
15 years 9 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...
133
Voted
PCM
2004
Springer
103views Multimedia» more  PCM 2004»
15 years 8 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
224
Voted
POPL
2009
ACM
16 years 3 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...