Sciweavers

15375 search results - page 338 / 3075
» cans 2008
Sort
View
136
Voted
CAV
2008
Springer
80views Hardware» more  CAV 2008»
15 years 6 months ago
Ranking Automata and Games for Prioritized Requirements
Requirements of reactive systems are usually specified by classifying system executions as desirable and undesirable. To specify prioritized requirements, we propose to associate a...
Rajeev Alur, Aditya Kanade, Gera Weiss
CPM
2008
Springer
154views Combinatorics» more  CPM 2008»
15 years 6 months ago
Fixed Parameter Tractable Alignment of RNA Structures Including Arbitrary Pseudoknots
We present an algorithm for computing the edit distance of two RNA structures with arbitrary kinds of pseudoknots. A main benefit of the algorithm is that, despite the problem is N...
Mathias Möhl, Sebastian Will, Rolf Backofen
DIMEA
2008
182views Multimedia» more  DIMEA 2008»
15 years 6 months ago
Achieving pervasive awareness through artwork
Aesthetics and ludic aspects of pervasive awareness applications make the awareness system more attractive and aesthetically pleasing to its users. The same objective can be achie...
Salah Uddin Ahmed
DSD
2008
IEEE
168views Hardware» more  DSD 2008»
15 years 6 months ago
Analyzing Scalability of Deblocking Filter of H.264 via TLP Exploitation in a New Many-Core Architecture
In this paper we present results of parallelization of Deblocking Filter (DF) of H.264 video codec on Decoupled Threaded Architecture (DTA). We parallelized the code trying to exp...
Roberto Giorgi, Zdravko Popovic, Nikola Puzovic, A...
ECOOP
2008
Springer
15 years 6 months ago
Modeling Context-Dependent Aspect Interference Using Default Logics
Explicitly representing aspect interactions is vital so that they can be shared and used in the course of system evolution. As a consequence, guidance can be given to the software ...
Frans Sanen, Eddy Truyen, Wouter Joosen