Sciweavers

827 search results - page 43 / 166
» Patterns for Timed Property Specifications
Sort
View
DAM
2008
75views more  DAM 2008»
15 years 2 months ago
Patterns of simple gene assembly in ciliates
The intramolecular model for gene assembly in ciliates considers three operations, ld, hi, and dlad that can assemble any gene pattern through folding and recombination: the molec...
Tero Harju, Ion Petre, Vladimir Rogojin, Grzegorz ...
RTAS
2003
IEEE
15 years 7 months ago
VEST: An Aspect-Based Composition Tool for Real-Time Systems
Building distributed embedded systems from scratch is not cost-effective. Instead, designing and building these systems by using domain specific components has promise. However, i...
John A. Stankovic, Ruiqing Zhu, Ram Poornalingam, ...
IPPS
1998
IEEE
15 years 6 months ago
Testing of Synchronization Conditions for Distributed Real-Time Applications
A set of synchronization relations between distributed nonatomic events was recently proposed to provide real-time applications with a fine level of discrimination in the specifica...
Ajay D. Kshemkalyani
ICCV
2007
IEEE
16 years 3 months ago
Spatial Random Partition for Common Visual Pattern Discovery
Automatically discovering common visual patterns from a collection of images is an interesting but yet challenging task, in part because it is computationally prohibiting. Althoug...
Junsong Yuan, Ying Wu
SI3D
2003
ACM
15 years 7 months ago
Pattern based procedural textures
Numerous real-time applications such computer games or flight simulators require non-repetitive high-resolution texturing on large landscapes. We propose an algorithm which proce...
Sylvain Lefebvre, Fabrice Neyret