809 search results - page 131 / 162 » Requirements by Contracts allow Automated System Testing |
CONCURRENCY
2008
14 years 12 months ago
2008
To provide performant access to data from high energy physics experiments such as the Large Hadron Collider (LHC), controlled replication of files among grid sites is required. Dy...
99
Voted
DAC
2008
ACM
16 years 22 days ago
2008
ACM
In this paper, a novel automatic approach for the concurrent topology and routing optimization that achieves a high quality network layout is proposed. This optimization is based ...
CASES
2006
ACM
15 years 5 months ago
2006
ACM
Within the field of automation technology the use of Industrial Ethernet is rising. This in turn demands devices capable of precisely recording, analyzing, and manipulating commu...
120
click to vote
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
109
click to vote
ERCIMDL
2005
Springer
15 years 5 months ago
2005
Springer
The Alexandria Digital Library (ADL) project has been working on automating the processes of building ADL collections and gathering the collection statistics on which ADL’s disco...