Sciweavers

2393 search results - page 363 / 479
» Fuzzy-UCS: preliminary results
Sort
View
COCO
1999
Springer
101views Algorithms» more  COCO 1999»
15 years 10 months ago
A Lower Bound for Primality
Recent work by Bernasconi, Damm and Shparlinski showed that the set of square-free numbers is not in AC0 , and raised as an open question whether similar (or stronger) lower bound...
Eric Allender, Michael E. Saks, Igor Shparlinski
VLSID
1999
IEEE
100views VLSI» more  VLSID 1999»
15 years 10 months ago
Satisfiability-Based Detailed FPGA Routing
In this paper we address the problem of detailed FPGA routing using Boolean formulation methods. In the context of FPGA routing where routing resources are fixed, Boolean formulat...
Gi-Joon Nam, Karem A. Sakallah, Rob A. Rutenbar
ICSE
1999
IEEE-ACM
15 years 10 months ago
Exploiting ADLs to Specify Architectural Styles Induced by Middleware Infrastructures
Architecture Definition Languages (ADLs) enable the formalization of the architecture of software systems and the execution of preliminary analyses on them. These analyses aim at...
Elisabetta Di Nitto, David S. Rosenblum
EUROMICRO
1998
IEEE
15 years 10 months ago
Data Speculative Multithreaded Architecture
In this paper we present a novel processor microarchitecture that relieves three of the most important bottlenecks of superscalar processors: the serialization imposed by true dep...
Pedro Marcuello, Antonio González
FGR
1998
IEEE
179views Biometrics» more  FGR 1998»
15 years 10 months ago
User Localisation for Visually-Based Human-Machine-Interaction
Recently there is an increasing interest in video based interface techniques, allowing more natural interaction between users and systems than common interface devices do. Here, w...
Hans-Joachim Böhme, Ulf-Dietrich Braumann, An...