Sciweavers

759 search results - page 31 / 152
» Verification of a Microprocessor Using Real World Applicatio...
Sort
View
ISORC
2008
IEEE
15 years 4 months ago
Compositional Feasibility Analysis of Conditional Real-Time Task Models
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
Madhukar Anand, Arvind Easwaran, Sebastian Fischme...
62
Voted
DEXAW
1995
IEEE
93views Database» more  DEXAW 1995»
15 years 1 months ago
Meta Modeling for End User Computing
Inherent constraints play an important role in the semantic Xplain model. These constraints enable us to represent certain real world knowledge once for subsequent use in several ...
J. H. ter Bekke
DATE
1999
IEEE
172views Hardware» more  DATE 1999»
15 years 2 months ago
An Object-Based Executable Model for Simulation of Real-Time Hw/Sw Systems
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
Olivier Pasquier, Jean Paul Calvez
WSC
2008
14 years 12 months ago
Parallel discrete-event simulation of population dynamics
Research in parallel simulation has been around for more than two decades. However, the number of papers reporting on its application to real world problems is limited. At the 200...
Bhakti Satyabudhi, Stephan Onggo
PVLDB
2008
108views more  PVLDB 2008»
14 years 9 months ago
Taming verification hardness: an efficient algorithm for testing subgraph isomorphism
Graphs are widely used to model complicated data semantics in many applications. In this paper, we aim to develop efficient techniques to retrieve graphs, containing a given query...
Haichuan Shang, Ying Zhang, Xuemin Lin, Jeffrey Xu...