Sciweavers

657 search results - page 132 / 132
» Defining the Problems of Framework Reuse
Sort
View
SIAMAM
2008
170views more  SIAMAM 2008»
13 years 5 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...
ICTAC
2009
Springer
13 years 3 months ago
Integration Testing from Structured First-Order Specifications via Deduction Modulo
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
Delphine Longuet, Marc Aiguier