7766 search results - page 1068 / 1554 » Testing Nondeterminate Systems |
151
click to vote
SYSTOR
2009
ACM
16 years 20 days ago
2009
ACM
Virtualization is becoming widely deployed in servers to efficiently provide many logically separate execution environments while reducing the need for physical servers. While th...
165
Voted
ACL
1994
15 years 7 months ago
1994
An automatic treebank conversion method is proposed in this paper to convert a treebank into another treebank. A new treebank associated with a different grammar can be generated ...
165
Voted
BMCBI
2008
15 years 6 months ago
2008
Background: Microarray analysis allows the simultaneous measurement of thousands to millions of genes or sequences across tens to thousands of different samples. The analysis of t...
175
Voted
ENTCS
2006
15 years 6 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
177
click to vote
JUCS
2008
15 years 6 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...