Sciweavers

3724 search results - page 221 / 745
» Timed regular expressions
Sort
View
ISORC
2008
IEEE
16 years 7 days ago
Structural Model of Real-Time Databases: An Illustration
A real-time database is a database in which both the data and the operations upon the data may have timing constraints. The design of this kind of database requires the introducti...
Nizar Idoudi, Claude Duvallet, Bruno Sadeg, Rafik ...
VLSID
2000
IEEE
75views VLSI» more  VLSID 2000»
15 years 10 months ago
Timing Analysis with Implicitly Specified False Paths
We consider the problem of timing analysis in the presence of known false paths. The main difficulty in adaptation of classical breadth-first search to the problem is that at each...
Eugene Goldberg, Alexander Saldanha
RTSS
1999
IEEE
15 years 10 months ago
Specification and Analysis of Soft Real-Time Systems: Quantity and Quality
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinks...
AMDO
2006
Springer
15 years 9 months ago
Modeling Timing Structure in Multimedia Signals
Modeling and describing temporal structure in multimedia signals, which are captured simultaneously by multiple sensors, is important for realizing human machine interaction and mo...
Hiroaki Kawashima, Kimitaka Tsutsumi, Takashi Mats...
ESA
2008
Springer
130views Algorithms» more  ESA 2008»
15 years 7 months ago
Linear Time Planarity Testing and Embedding of Strongly Connected Cyclic Level Graphs
Abstract. A level graph is a directed acyclic graph with a level assignment for each node. Such graphs play a prominent role in graph drawing. They express strict dependencies and ...
Christian Bachmaier, Wolfgang Brunner