Sciweavers

130 search results - page 17 / 26
» Functional Timing Analysis for IP Characterization
Sort
View
SIAMAM
2008
170views more  SIAMAM 2008»
14 years 9 months ago
Absolute Stability and Complete Synchronization in a Class of Neural Fields Models
Neural fields are an interesting option for modelling macroscopic parts of the cortex involving several populations of neurons, like cortical areas. Two classes of neural field equ...
Olivier D. Faugeras, François Grimbert, Jea...
95
Voted
CORR
2006
Springer
91views Education» more  CORR 2006»
14 years 9 months ago
Quasi-friendly sup-interpretations
In a previous paper [16], the sup-interpretation method was proposed as a new tool to control memory resources of first order functional programs with pattern matching by static an...
Jean-Yves Marion, Romain Péchoux
SIGMETRICS
2008
ACM
175views Hardware» more  SIGMETRICS 2008»
14 years 9 months ago
DARC: dynamic analysis of root causes of latency distributions
OSprof is a versatile, portable, and efficient profiling methodology based on the analysis of latency distributions. Although OSprof has offers several unique benefits and has bee...
Avishay Traeger, Ivan Deras, Erez Zadok
ACSD
2010
IEEE
255views Hardware» more  ACSD 2010»
14 years 7 months ago
From POOSL to UPPAAL: Transformation and Quantitative Analysis
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jac...
IV
2005
IEEE
91views Visualization» more  IV 2005»
15 years 3 months ago
Polyrhythmic Organization of Coupled Nonlinear Oscillators
We study the rhythmic organization of coupled nonlinear oscillators. If oscillators with non-identical internal frequency are coupled they generate a great variety of periodic and...
Gerold Baier, Thomas Hermann, Markus Müller