3951 search results - page 218 / 791 » Automatic amortized analysis |
180
Voted
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functiona...
124
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
Mining software repositories for bug detection requires accurate techniques of identifying bug-fix revisions. There have been many researches to find exact bug-fix revisions. Howe...
171
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
192
click to vote
CDVE
2006
Springer
15 years 10 months ago
2006
Springer
Inter-networked computers enable virtual collaborative work. In the course of interacting with one another, individuals send and receive messages and files of various sorts. This m...
161
click to vote
ADMA
2008
Springer
15 years 8 months ago
2008
Springer
With a large number of news available on the internet everyday, it is an interesting work to automatically organize news events by time order and dependencies between events. The w...