Sciweavers

2509 search results - page 172 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
VISUALIZATION
2005
IEEE
16 years 1 days ago
Evolutionary Morphing
We introduce a technique to visualize the gradual evolutionary change of the shapes of living things as a morph between known three-dimensional shapes. Given geometric computer mo...
David F. Wiley, Nina Amenta, Dan A. Alcantara, Deb...
ANLP
1997
122views more  ANLP 1997»
15 years 7 months ago
Logos Machine Translation System
rietary Semantico-Syntactic Abstraction Language (SAL) the parser is able to achieve better results than syntactic analysis alone would allow. This comprehensive analysis permits t...
ICCAD
1999
IEEE
66views Hardware» more  ICCAD 1999»
15 years 10 months ago
Timing-safe false path removal for combinational modules
A delay abstraction of a combinational module is a compact representation of the delay information of the module, which carries effective pin-to-pin delay for each primary-input/pr...
Yuji Kukimoto, Robert K. Brayton
ICTAC
2009
Springer
16 years 1 months ago
A Deadlock-Free Semantics for Shared Memory Concurrency
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
Gérard Boudol
GSEM
2007
Springer
16 years 19 days ago
FIFO Queuing of Constant Length Fully Synchronous Jobs
Abstract. The paper examines the behaviour of a saturated multiprocessor system to which fully synchronous parallel jobs are submitted. In order to simplify the analysis, we assume...
Vandy Berten, Raymond R. Devillers, Guy Louchard