2201 search results - page 350 / 441 » Improvement of ASIC Design Processes |
162
click to vote
SAT
2007
Springer
16 years 26 days ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
211
click to vote
ASWEC
2006
IEEE
16 years 24 days ago
2006
IEEE
Software maintenance and evolution are inevitable activities since almost all software that is useful and successful stimulates user-generated requests for change and improvements...
143
click to vote
CCGRID
2006
IEEE
16 years 24 days ago
2006
IEEE
Many efforts in Grid communities have focused on middleware research and development. However, Grid application-level tools are needed which can build higherlevel functionality on...
165
Voted
CLUSTER
2006
IEEE
16 years 24 days ago
2006
IEEE
High availability plays an important role in heterogeneous clusters, where processors operate at different speeds and are not continuously available for processing. Existing sched...
164
click to vote
INFOCOM
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract— The pre-shared key based mechanisms for Transport Layer Security (TLS) were recently standardized by the IETF to extend the set of ciphersuites by utilizing existing ke...