1287 search results - page 127 / 258 » Reduction of Timed Hybrid Systems |
130
click to vote
JCNS
2010
15 years 2 months ago
2010
Accurately simulating neurons with realistic morphological structure and synaptic inputs requires the solution of large systems of nonlinear ordinary differential equations. We ap...
136
click to vote
ICASSP
2010
IEEE
14 years 11 months ago
2010
IEEE
Pure frequency-based audio fingerprint systems have the capacity of handling very short fingerprints while being highly robust to perturbations such as additive noise or compressi...
127
click to vote
OSDI
2000
ACM
15 years 5 months ago
2000
ACM
Storage Latency Estimation Descriptors, or SLEDs, are an API that allow applications to understand and take advantage of the dynamic state of a storage system. By accessing data i...
110
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Scheduling of delay-tolerant jobs has been proposed as a mechanism to alleviate pressure on congested network resources. However, when multiple competing users share these resource...
141
click to vote
ICALP
2001
Springer
15 years 8 months ago
2001
Springer
We consider the problem of enumerating all minimal integer solutions of a monotone system of linear inequalities. We first show that for any monotone system of r linear inequaliti...