Sciweavers

3037 search results - page 349 / 608
» A High Performance Application Representation for Reconfigur...
Sort
View
CAV
2010
Springer
172views Hardware» more  CAV 2010»
15 years 10 months ago
Symbolic Bounded Synthesis
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
Rüdiger Ehlers
DATE
1998
IEEE
114views Hardware» more  DATE 1998»
15 years 11 months ago
Design Of Future Systems
Near-future linac projects put yet unreached requirements on the LLRF control hardware in both performance and manageability. Meeting their field stability targets requires a clea...
Ian Page
ICDCS
2009
IEEE
15 years 4 months ago
A Case Study of Traffic Locality in Internet P2P Live Streaming Systems
With the ever-increasing P2P Internet traffic, recently much attention has been paid to the topology mismatch between the P2P overlay and the underlying network due to the large a...
Yao Liu, Lei Guo, Fei Li, Songqing Chen
CEE
2007
107views more  CEE 2007»
15 years 6 months ago
A non-preemptive scheduling algorithm for soft real-time systems
Real-time systems are often designed using preemptive scheduling and worst-case execution time estimates to guarantee the execution of high priority tasks. There is, however, an i...
Wenming Li, Krishna M. Kavi, Robert Akl
FQAS
2006
Springer
147views Database» more  FQAS 2006»
15 years 10 months ago
Using a Fuzzy Object-Relational Database for Colour Image Retrieval
The paper presents a fuzzy database management system, and a fuzzy method for dominant colour description of images, on which an image retrieval system is built. The paper shows th...
Carlos D. Barranco, Juan Miguel Medina, Jesú...