Sciweavers

2740 search results - page 159 / 548
» On the importance and challenges of FOSD
Sort
View
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
16 years 14 days ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
HICSS
2006
IEEE
107views Biometrics» more  HICSS 2006»
16 years 14 days ago
Horizontal and Vertical Factors Influencing the Adoption of Web Services
Organizations across many industries are implementing or exploring Web services technology. According to recent industry surveys, however, many organizations are still hesitating ...
Andrew P. Ciganek, Marc N. Haines, William (Dave) ...
HICSS
2006
IEEE
185views Biometrics» more  HICSS 2006»
16 years 14 days ago
Inter-Organisational Collaboration towards Process Integration in the Public Sector. E-Government Collaboration in Egypt
This paper demonstrates the importance of collaboration between government departments as a backbone for inter-organizational integration between agencies such as ministries. We a...
Inas E. Ezz, Anastasia Papazafeiropoulou
IAT
2006
IEEE
16 years 14 days ago
Resolution-Based Policy Search for Imperfect Information Differential Games
Differential games (DGs), considered as a typical model of game with continuous states and non-linear dynamics, play an important role in control and optimization. Finding optimal...
Minh Nguyen-Duc, Brahim Chaib-draa
ICAC
2006
IEEE
16 years 14 days ago
Towards Autonomic Grid Data Management with Virtualized Distributed File Systems
Grid data management is a challenging task because of the heterogeneous, dynamic and largescale nature of Grid environments. This paper proposes an autonomic Grid data management ...
Ming Zhao 0002, Jing Xu, Renato J. O. Figueiredo