Sciweavers

2610 search results - page 351 / 522
» codes 2007
Sort
View
144
Voted
SOQUA
2007
15 years 5 months ago
ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools
With the proliferation of the new multi-core personal computers, and the explosion of the usage of highly concurrent machine configuration, concurrent code moves from being writt...
Yarden Nir-Buchbinder, Shmuel Ur
CORR
2007
Springer
123views Education» more  CORR 2007»
15 years 4 months ago
A Generic Analysis Environment for Curry Programs
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
Michael Hanus
CORR
2007
Springer
91views Education» more  CORR 2007»
15 years 4 months ago
Unequal dimensional small balls and quantization on Grassmann Manifolds
—The Grassmann manifold Gn,p (L) is the set of all p-dimensional planes (through the origin) in the n-dimensional Euclidean space Ln , where L is either R or C. This paper consid...
Wei Dai, Brian Rider, Youjian Liu
ENTCS
2007
113views more  ENTCS 2007»
15 years 4 months ago
Modular Checkpointing for Atomicity
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
Lukasz Ziarek, Philip Schatz, Suresh Jagannathan
BC
2005
63views more  BC 2005»
15 years 4 months ago
Self-organization in the olfactory system: one shot odor recognition in insects
We show in a model of spiking neurons that synaptic plasticity in the mushroom bodies in combination with the general fan-in, fan-out properties of the early processing layers of t...
Thomas Nowotny, Ramón Huerta, Henry D. I. A...