Sciweavers

2452 search results - page 152 / 491
» On Reduction of Lagrange Systems
Sort
View
LISP
2008
101views more  LISP 2008»
15 years 6 months ago
Flow-sensitive type systems and the ambient calculus
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
Torben Amtoft
SIAMAM
2008
93views more  SIAMAM 2008»
15 years 6 months ago
Mutually Exclusive Spiky Pattern and Segmentation Modeled by the Five-Component Meinhardt--Gierer System
We consider the five-component Meinhardt-Gierer model for mutually exclusive patterns and segmentation which was proposed in [11]. We prove rigorous results on the existence and st...
Juncheng Wei, Matthias Winter
IPPS
2009
IEEE
16 years 21 days ago
The impact of network noise at large-scale communication performance
The impact of operating system noise on the performance of large-scale applications is a growing concern and ameliorating the effects of OS noise is a subject of active research. ...
Torsten Hoefler, Timo Schneider, Andrew Lumsdaine
CDC
2008
IEEE
16 years 16 days ago
On event-triggered and self-triggered control over sensor/actuator networks
— Event-triggered and self-triggered control have been recently proposed as an alternative to the more traditional periodic execution of control tasks. The possibility of reducin...
Manuel Mazo Jr., Paulo Tabuada
ISCAS
2007
IEEE
136views Hardware» more  ISCAS 2007»
16 years 10 days ago
Flexible Low Power Probability Density Estimation Unit For Speech Recognition
— This paper describes the hardware architecture for a flexible probability density estimation unit to be used in a Large Vocabulary Speech Recognition System, and targeted for m...
Ullas Pazhayaveetil, Dhruba Chandra, Paul Franzon