Sciweavers

2316 search results - page 293 / 464
» The many forms of hypercomputation
Sort
View
SOFTVIS
2010
ACM
15 years 5 months ago
TIE: an interactive visualization of thread interleavings
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
Gowritharan Maheswara, Jeremy S. Bradbury, Christo...
121
Voted
AIL
2007
104views more  AIL 2007»
15 years 5 months ago
Commonsense Causal Explanation in a Legal Domain
In this paper, we present an approach to commonsense causal explanation of stories that can be used for automatically determining the liable party in legal case descriptions. The a...
Rinke Hoekstra, Joost Breuker
118
Voted
ANOR
2008
89views more  ANOR 2008»
15 years 5 months ago
Ordered sets with interval representation and ( m , n )-Ferrers relation
: Semiorders may form the simplest class of ordered sets with a not necessarily transitive indifference relation. Their generalization has given birth to many other classes of orde...
Meltem Öztürk
BIB
2008
88views more  BIB 2008»
15 years 5 months ago
MEGA: A biologist-centric software for evolutionary analysis of DNA and protein sequences
The Molecular Evolutionary Genetics Analysis (MEGA) software is a desktop application designed for comparative analysis of homologous gene sequences either from multigene families...
Sudhir Kumar, Masatoshi Nei, Joel Dudley, Koichiro...
135
Voted
CACM
2010
90views more  CACM 2010»
15 years 5 months ago
The Singularity system
Every operating system embodies a collection of design decisions. Many of the decisions behind systems have remained unchanged, even as hardware and software have evolved. Operati...
James R. Larus, Galen C. Hunt