847 search results - page 75 / 170 » A comparison of common programming languages used in bioinfo... |
IEEEAMS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
114
click to vote
POPL
2011
ACM
14 years 24 days ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
124
click to vote
POPL
1994
ACM
15 years 2 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
SAC
2009
ACM
15 years 2 months ago
2009
ACM
Computational technologies have been increasingly explored to make biomedical knowledge and data more accessible for human understanding, comparison, analysis and communication. I...
CASCON
2004
14 years 11 months ago
2004
Previous research shows that most software systems contain significant amounts of duplicated, or cloned, code. Some clones are exact duplicates of each other, while others differ ...