Sciweavers

199 search results - page 30 / 40
» The Case for Enhanced Abstract Data Types
Sort
View
CASES
2000
ACM
13 years 11 months ago
A code generation framework for Java component-based designs
In this paper, we describe a software architecture supporting code generation from within Ptolemy II. Ptolemy II is a componentbased design tool intended for embedded and real-tim...
Jeff Tsay, Christopher Hylands, Edward Lee
ACII
2007
Springer
14 years 1 months ago
What Should a Generic Emotion Markup Language Be Able to Represent?
Abstract. Working with emotion-related states in technological contexts requires a standard representation format. Based on that premise, the W3C Emotion Incubator group was create...
Marc Schröder, Laurence Devillers, Kostas Kar...
TSP
2008
76views more  TSP 2008»
13 years 7 months ago
Eigenvalue Beamforming Using a Multirank MVDR Beamformer and Subspace Selection
Abstract--We derive eigenvalue beamformers to resolve an unknown signal of interest whose spatial signature lies in a known subspace, but whose orientation in that subspace is othe...
Ali Pezeshki, B. D. Van Veen, Louis L. Scharf, H. ...
CSL
2008
Springer
13 years 9 months ago
Pure Pointer Programs with Iteration
not use pointer arithmetic. Such "pure pointer algorithms" thus are a useful abstraction for studying the nature of logspace-computation. In this paper we introduce a for...
Martin Hofmann, Ulrich Schöpp
FORTE
2008
13 years 8 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...