Sciweavers

1941 search results - page 296 / 389
» DNA Computing Approach to Construction of Semantic Model
Sort
View
RSP
2008
IEEE
118views Control Systems» more  RSP 2008»
15 years 11 months ago
Functional DIF for Rapid Prototyping
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
William Plishker, Nimish Sane, Mary Kiemb, Kapil A...
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
15 years 10 months ago
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...
IJCNN
2008
IEEE
15 years 11 months ago
Sparse kernel density estimator using orthogonal regression based on D-Optimality experimental design
— A novel sparse kernel density estimator is derived based on a regression approach, which selects a very small subset of significant kernels by means of the D-optimality experi...
Sheng Chen, Xia Hong, Chris J. Harris
DATE
2010
IEEE
183views Hardware» more  DATE 2010»
15 years 10 months ago
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP
—Synchronous languages offer a deterministic model of concurrency at the level of actions. However, essentially all compilers for synchronous languages compile these actions into...
Daniel Baudisch, Jens Brandt, Klaus Schneider
ACL
1998
15 years 6 months ago
Reference Resolution beyond Coreference: a Conceptual Frame and its Application
A model for reference use in communication is proposed, from a representationist point of view. Both the sender and the receiver of a message handle representations of their commo...
Andrei Popescu-Belis, Isabelle Robba, Gérar...