593 search results - page 54 / 119 » tools 2011 |
155
click to vote
NAR
2011
14 years 6 months ago
2011
The Arabidopsis Gene Regulatory Information Server (AGRIS; http://arabidopsis.med.ohio-state .edu/) provides a comprehensive resource for gene regulatory studies in the model plan...
209
click to vote
RTA
2011
Springer
14 years 6 months ago
2011
Springer
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
392
click to vote
BPM
2011
Springer
14 years 3 months ago
2011
Springer
As order dependencies between process tasks can get complex, it is easy to make mistakes in process model design, especially behavioral ones such as deadlocks. Notions such as soun...
149
click to vote
DAC
2011
ACM
14 years 3 months ago
2011
ACM
Modern processor architectures call for software that is highly tuned to an unpredictable operating environment. Processlevel virtualization systems allow existing software to ada...
148
click to vote
DAC
2011
ACM
14 years 3 months ago
2011
ACM
Memory consistency litmus tests are small parallel programs that are designed to illustrate subtle differences between memory consistency models by exhibiting different outcomes...