Sciweavers

2266 search results - page 190 / 454
» Generalizing parametric timing analysis
Sort
View
125
Voted
BC
2008
89views more  BC 2008»
15 years 3 months ago
Complex evolution of spike patterns during burst propagation through feed-forward networks
Abstract Stable signal transmission is crucial for information processing by the brain. Synfire-chains, defined as feedforward networks of spiking neurons, are a well-studied class...
Jun-nosuke Teramae, Tomoki Fukai
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
15 years 10 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer
109
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
RELAY: static race detection on millions of lines of code
Data races occur when multiple threads are about to access the same piece of memory, and at least one of those accesses is a write. Such races can lead to hard-to-reproduce bugs t...
Jan Wen Voung, Ranjit Jhala, Sorin Lerner
WWW
2008
ACM
16 years 4 months ago
Psst: a web-based system for tracking political statements
Determining candidates' views on important issues is critical in deciding whom to support and vote for; but finding their statements and votes on an issue can be laborious. I...
Samantha Kleinberg, Bud Mishra
NIPS
1993
15 years 4 months ago
Fast Pruning Using Principal Components
We present a new algorithm for eliminating excess parameters and improving network generalization after supervised training. The method, \Principal Components Pruning (PCP)",...
Asriel U. Levin, Todd K. Leen, John E. Moody