6299 search results - page 50 / 1260 » Data and Computation Abstractions for Dynamic and Irregular ... |
173
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A data driven system implies the need to integrate data acquisition and signal processing into the same system that will interact with this information. This can be done ...
173
click to vote
SAS
2009
Springer
2009
Springer
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
16 years 6 months ago
parsing: static analysis of dynamically generated string output using LR-parsing technology Kyung-Goo Doh1 , Hyunha Kim1 , David A. Schmidt2 1 Hanyang University, Ansan, South Kore...
185
click to vote
EUC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A dramatic increase of event monitoring capabilities by wireless sensors requires new, more sophisticated, event correlation over time and space. This new paradigm implie...
224
click to vote
USAB
2010
15 years 4 months ago
2010
Abstract. The ability to move is an important characteristic of the human condition and an important aspect for interactive settings. The role of body movement however was not addr...
152
click to vote
FSTTCS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...