8928 search results - page 586 / 1786 » Modeling Current Events |
184
click to vote
DATE
2005
IEEE
16 years 28 days ago
2005
IEEE
A technique based on the sensitivity of the output to input waveform is presented for accurate propagation of delay information through a gate for the purpose of static timing ana...
184
click to vote
WOSP
2005
ACM
16 years 26 days ago
2005
ACM
Understanding the characteristics of the users’ workload is an important aspect when designing and providing web services. The majority of current workload characterization tech...
209
click to vote
AE
2005
Springer
16 years 26 days ago
2005
Springer
This paper presents an enhanced genetic algorithm for the protein structure prediction problem. A new fitness function, that uses the concept of radius of gyration, is proposed. Al...
240
click to vote
ISAS
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
202
click to vote
SAT
2005
Springer
16 years 24 days ago
2005
Springer
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...