Sciweavers

3040 search results - page 156 / 608
» Independent Natural Extension
Sort
View
ISAAC
2005
Springer
113views Algorithms» more  ISAAC 2005»
14 years 3 months ago
A Simple Optimal Randomized Algorithm for Sorting on the PDM
Abstract. The Parallel Disks Model (PDM) has been proposed to alleviate the I/O bottleneck that arises in the processing of massive data sets. Sorting has been extensively studied ...
Sanguthevar Rajasekaran, Sandeep Sen
AIS
2004
Springer
14 years 3 months ago
Using Cell-DEVS for Modeling Complex Cell Spaces
Cell-DEVS is an extension to the DEVS formalism that allows the definition of cellular models. CD++ is a modeling and simulation tool that implements DEVS and Cell-DEVS formalisms....
Javier Ameghino, Gabriel A. Wainer
FDL
2003
IEEE
14 years 3 months ago
Analog Circuit Modeling in SystemC
This paper proposes a methodology for the extension of SystemC to mixed signal systems. An oscillator made up of an inverter chain has been used to test the accuracy and stability...
Massimo Conti, Marco Caldari, Simone Orcioni, Gior...
ISWC
2003
IEEE
14 years 3 months ago
Continuous Sensing of Gesture for Control of Audio-Visual Media
This note describes how continuous sensing of gesture enabling expressive control of real-time audio/visual media is achieved using Berkeley motes. We have contributed a relativel...
Sha Xin Wei, Giovanni Iachello, Steven Dow, Yoichi...
ESOP
2001
Springer
14 years 2 months ago
Entailment with Conditional Equality Constraints
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend eq...
Zhendong Su, Alexander Aiken