615 search results - page 58 / 123 » High-Level Nondeterministic Abstractions in |
104
click to vote
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
106
click to vote
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract— This paper introduces a transformational design method which can be used to map code written in a high level source language, like C, to a coarse grain reconfigurable ...
128
click to vote
CC
2003
Springer
15 years 6 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
CIVR
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper, we present an audio-based event detection approach shown to be effective when applied to the Sports broadcast data. The main benefit of this approach is ...
119
click to vote
CAIP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. The paper describes a three-layer video coder based on spatiotemporal scalability and data partitioning. The base layer represents video sequences with reduced spatial an...