13841 search results - page 2330 / 2769 » Algorithms and Constraint Programming |
160
Voted
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Developers perform small-scale reuse tasks to save time and to increase the quality of their code. Due to the small scale of such tasks, the overhead in reusing source code can qu...
133
click to vote
ICCD
2003
IEEE
16 years 3 months ago
2003
IEEE
We present a methodology for a power-optimized, software-controlled Translation Lookaside Buffer (TLB) organization. A highly reduced number of Virtual Page Number (VPN) bits sufï...
161
click to vote
WWW
2009
ACM
16 years 28 days ago
2009
ACM
In the past, some researches suggested that engineers can use combined software reliability growth models (SRGMs) to obtain more accurate reliability prediction during testing. In...
142
click to vote
VMCAI
2009
Springer
16 years 28 days ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and speciï¬cations. Reasoning about these data structures is supported by established ...
148
click to vote
KBSE
2009
IEEE
16 years 26 days ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...