3814 search results - page 361 / 763 » YAPI: application modeling for signal processing systems |
203
click to vote
COMCOM
2011
15 years 1 months ago
2011
The rapid proliferation of mobile computing devices and local wireless networks over the past few years has promoted a continuously growing interest in location-aware systems and ...
200
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
179
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
192
click to vote
NIPS
2007
15 years 8 months ago
2007
We construct a biologically motivated stochastic differential model of the neural and hemodynamic activity underlying the observed Blood Oxygen Level Dependent (BOLD) signal in Fu...
203
click to vote
SAFECOMP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...