847 search results - page 132 / 170 » A comparison of common programming languages used in bioinfo... |
147
Voted
HASKELL
2006
ACM
15 years 6 months ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
96
Voted
ICALP
2009
Springer
16 years 23 days ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
99
Voted
SIGCSE
2009
ACM
16 years 1 months ago
2009
ACM
Cloud computing is rapidly increasing in popularity. Companies such as RedHat, Microsoft, Amazon, Google, and IBM are increasingly funding cloud computing infrastructure and resea...
95
Voted
ICSE
2005
IEEE-ACM
16 years 17 days ago
2005
IEEE-ACM
UML sequence diagrams are commonly used to represent object interactions in software systems. This work considers the problem of extracting UML sequence diagrams from existing cod...
191
click to vote
Book
"This book is about the fundamentals of data structures and algorithms--the basic elements from which large and complex software artifacts are built. To develop a solid unders...