1175 search results - page 174 / 235 » Abstract computability and algebraic specification |
RECOMB
2005
Springer
14 years 9 months ago
2005
Springer
Abstract. Gene rearrangements have been used successfully in phylogenetic reconstruction and comparative genomics, but usually under the assumption that all genomes have the same g...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
HCI endeavors to create human-centered computer systems, but underlying technological infrastructures often stymie these efforts. We outline three specific classes of user experie...
DSN
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
EGC
2005
Springer
14 years 2 months ago
2005
Springer
Traditionally, distributed resource management/ scheduling systems for the Grid (e.g. Globus/ GRAM/ Condor-G) have tended to deal with coarsegrained and concrete resource types (e....
CLUSTER
2009
IEEE
14 years 24 days ago
2009
IEEE
Abstract-- Flash-based solid state disks (SSDs) are an alternative form of storage device that promises to deliver higher performance than the traditional mechanically rotating har...