2433 search results - page 159 / 487 » Power laws in software |
195
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: NemaFootPrinter (Nematode Transcription Factor Scan Through Philogenetic Footprinting) is a web-based software for interactive identification of conserved, non-exonic ...
168
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Reliable and verifiable hardware, software and content usage metering (HSCM) are of primary importance for wide segments of e-commerce including intellectual property a...
214
click to vote
PPOPP
2006
ACM
16 years 13 days ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
171
click to vote
SIGCSE
2006
ACM
16 years 13 days ago
2006
ACM
This paper describes our experiences in promoting a learning environment where active student involvement and interaction, as well as openness to diversity of ideas are supported ...
158
click to vote
CAV
2005
Springer
16 years 1 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...