Sciweavers

4781 search results - page 177 / 957
» Complexity at large
Sort
View
WSC
2007
15 years 3 months ago
Improved simple simulation models for semiconductor wafer factories
Semiconductor wafer fabrication facilities (wafer fabs) are among the most complex production facilities. A large product variety, hundreds of processing steps per product, hundre...
Oliver Rose
102
Voted
CADE
2007
Springer
16 years 1 months ago
An Incremental Technique for Automata-Based Decision Procedures
Abstract. Automata-based decision procedures commonly achieve optimal complexity bounds. However, in practice, they are often outperformed by sub-optimal (but more local-search bas...
David Toman, Gulay Ünel
C5
2006
IEEE
15 years 6 months ago
3D Global Virtual Teaming Environment
Based on research conducted at a large multinational corporation, we identified several unique requirements for global team collaboration. Our findings included that two-thirds of...
Cindy Pickering, John David Miller, Eleanor Wynn, ...
ASIACRYPT
2006
Springer
15 years 4 months ago
The 2-Adic CM Method for Genus 2 Curves with Application to Cryptography
Abstract. The complex multiplication (CM) method for genus 2 is currently the most efficient way of generating genus 2 hyperelliptic curves defined over large prime fields and suit...
Pierrick Gaudry, T. Houtmann, D. Kohel, Christophe...
DATE
2004
IEEE
141views Hardware» more  DATE 2004»
15 years 4 months ago
Operating System Support for Interface Virtualisation of Reconfigurable Coprocessors
Reconfigurable Systems-on-Chip (SoC) consist of large Field-Programmable Gate-Arrays (FPGAs) and standard processors. The reconfigurable logic can be used for application-specific...
Miljan Vuletic, Ludovic Righetti, Laura Pozzi, Pao...