Sciweavers

2658 search results - page 168 / 532
» Micro-communication Element System
Sort
View
OTM
2005
Springer
15 years 10 months ago
GeRoMe: A Generic Role Based Metamodel for Model Management
Abstract. The goal of Model Management is the development of new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be perf...
David Kensche, Christoph Quix, Mohamed Amine Chatt...
MICCAI
2005
Springer
16 years 5 months ago
A Hybrid Cutting Approach for Hysteroscopy Simulation
An integral element of every surgical simulator is the ability to interactively cut tissue. A number of approaches have been suggested in the past, the most important being mesh su...
Denis Steinemann, Gábor Székely, Mar...
CASES
2003
ACM
15 years 10 months ago
Vectorizing for a SIMdD DSP architecture
The Single Instruction Multiple Data (SIMD) model for fine-grained parallelism was recently extended to support SIMD operations on disjoint vector elements. In this paper we demon...
Dorit Naishlos, Marina Biberstein, Shay Ben-David,...
GLVLSI
1999
IEEE
90views VLSI» more  GLVLSI 1999»
15 years 9 months ago
A Memory Design in QCAs using the SQUARES Formalism
We present a formalism for implementing circuits with Quantum-dot Cellular Automata (QCA), comprising a set of standard circuit elements with uniform layout rules. The formalism s...
Daniel Berzon, Terry J. Fountain
POPL
2003
ACM
16 years 5 months ago
A type system for higher-order modules
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
Derek Dreyer, Karl Crary, Robert Harper