Sciweavers

1259 search results - page 51 / 252
» Reusing Groupware Applications
Sort
View
CBSE
2006
Springer
14 years 16 hour ago
Verification of Component-Based Software Application Families
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
Fei Xie, James C. Browne
ISCAS
2006
IEEE
95views Hardware» more  ISCAS 2006»
14 years 2 months ago
Vertex cache of programmable geometry processor for mobile multimedia application
Vertex cache of programmable geometry processor The proposed architecture of vertex cache is divided into is proposed and implemented. The proposed vertex cache is pre-TnL vertex c...
Kyusik Chung, Chang-Hyo Yu, Lee-Sup Kim
CASES
2003
ACM
14 years 1 months ago
Lattice-based memory allocation
—We investigate the problem of memory reuse in order to reduce the memory needed to store an array variable. We develop techniques that can lead to smaller memory requirements in...
Alain Darte, Robert Schreiber, Gilles Villard
COOPIS
2002
IEEE
14 years 1 months ago
Discovering Emergent Virtual Work Processes in Collaborative Systems
The design of virtual workplaces that can support virtual work processes has traditionally been either ad-hoc, or has been influenced by the top-down approaches, such as ‘virtua...
Simeon J. Simoff, Robert P. Biuk-Aghai
ISCAS
2005
IEEE
154views Hardware» more  ISCAS 2005»
14 years 1 months ago
An automated methodology for memory-conscious mapping of DSP applications on coarse-grain reconfigurable arrays
—This paper presents a memory-conscious mapping methodology of computational intensive applications on coarse-grain reconfigurable arrays. By exploiting the inherent abundant amo...
Michalis D. Galanis, Gregory Dimitroulakos, Consta...