Search For:

Displaying 1-7 out of 7 total
On Range Searching with Semialgebraic Sets II
Found in: 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science (FOCS)
By Pankaj K. Agarwal,Jirí Matouek,Micha Sharir
Issue Date:October 2012
pp. 420-429
Let $P$ be a set of $n$ points in $\R^d$. We present a linear-size data structure for answering range queries on $P$ with constant-complexity semi algebraic sets as ranges, in time close to $O(n^{1-1/d})$. It essentially matches the performance of similar ...
Real-Time Component Integration Using Runnable Virtual Nodes
Found in: 2012 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)
By Rafia Inam,Jukka MaKi-Turja,Mikael Sjodin,Jirí Kuncar
Issue Date:September 2012
pp. 80-84
We present the concept of runnable virtual nodes (RVNs) as means to achieve predictable integration and temporal error-containment of real-time software components. An RVN exploits the latest techniques for hierarchical scheduling and is intended as a coar...
On Implementing Risk-Based Content Annotation in SHM
Found in: 2012 23rd International Workshop on Database and Expert Systems Applications (DEXA)
By Kamil Matouek,Jirí Kopecky
Issue Date:September 2012
pp. 28-32
This article discusses risk-related knowledge-based content annotation in a domain of structural health monitoring (SHM) and introduces an extension of existing ontology-based document and content annotation method and a corresponding software tool that wa...
Boundary Labeling of Graph Edges Using Colors
Found in: 2012 16th International Conference on Information Visualisation (IV)
By Miroslav Cerm´k,Jirí Dokulil,Jana Katreniakov'
Issue Date:July 2012
pp. 460-463
One of the problems of applying graph drawing techniques to information visualization is the problem of displaying edge labels. These labels often contain information that is important to the user, but the displayed text can make the drawing less clear. On...
A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata
Found in: 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE)
By Sebastian Bauer,Line Juhl,Kim G. Larsen,Jirí Srba,Axel Legay
Issue Date:July 2012
pp. 77-84
Multiweighted modal automata provide a specification theory for multiweighted transition systems that have recently attracted interest in the context of energy games. We propose a simple fragment of CTL that is able to express properties about accumulated ...
Executing Model Checking Counterexamples in Simulink
Found in: 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE)
By Jirí Barnat,Lubo Brim,Jan Beran,Tom´ Kratochvila,Italo R. Oliveira
Issue Date:July 2012
pp. 245-248
Verification of embedded systems has become increasingly important in many industrial domains. Safety critical embedded systems, such as those developed in aerospace industry, are regularly subject to automated formal verification process. In this paper we...
Automatically Optimized GPU Acceleration of Element Subroutines in Finite Element Method
Found in: 2012 Symposium on Application Accelerators in High Performance Computing (SAAHPC)
By Jirí Filipovic,Jan Fousek,Bedrich Lakomy,Matú Madzin
Issue Date:July 2012
pp. 141-144
The element subroutines in finite element method (FEM) provides enough parallelism to be successfully accelerated by contemporary GPUs. However, their efficient implementation is not straightforward and requires time-consuming exploration of numerous imple...