Sciweavers

2621 search results - page 264 / 525
» Generalized Algorithms for Constructing Statistical Language...
Sort
View
ISLPED
2004
ACM
124views Hardware» more  ISLPED 2004»
15 years 8 months ago
The design of a low power asynchronous multiplier
In this paper we investigate the statistics of multiplier operands and identify two characteristics of their distribution that have important consequences for the design of low po...
Yijun Liu, Stephen B. Furber
DNA
2007
Springer
127views Bioinformatics» more  DNA 2007»
15 years 9 months ago
Discrete Simulations of Biochemical Dynamics
Abstract. Metabolic P systems, shortly MP systems, are a special class of P systems, introduced for expressing biological metabolism. Their dynamics are computed by metabolic algor...
Vincenzo Manca
AUTOMATICA
2008
154views more  AUTOMATICA 2008»
15 years 3 months ago
Approximately bisimilar symbolic models for nonlinear control systems
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
Giordano Pola, Antoine Girard, Paulo Tabuada
PASTE
2010
ACM
15 years 1 months ago
Property-aware program sampling
Monitoring or profiling programs provides us with an understanding for its further improvement and analysis. Typically, for monitoring or profiling, the program is instrumented ...
Harish Narayanappa, Mukul S. Bansal, Hridesh Rajan
PPDP
2009
Springer
15 years 9 months ago
Relational semantics for effect-based program transformations: higher-order store
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re...
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...