Daniel Tang

Learn More
We describe a set of new comprehensive, high-quality, high-resolution digital images of histological sections from the brain of male zebra finches (Taeniopygia guttata) and make them publicly available through an interactive website (http://zebrafinch.brainarchitecture.org/). These images provide a basis for the production of a dimensionally accurate and(More)
We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specification. SCJ is designed to make Java amenable to writing mission- and safety-critical software. It does this by defining a subset of the Real-time Specification for Java that trades expressiveness for verifiability. This paper gives a high-level description of our(More)
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain the behavior of programs written against it. This paper describes and motivates the design of these annotations and the rules used to check statically that programs respect their(More)
The nature of electrical remodeling in a canine model of ischemic cardiomyopathy (ICM; induced by repetitive intracoronary microembolizations) that exhibits spontaneous ventricular tachycardia is not entirely clear. We used the patch-clamp technique to record action potentials and ionic currents of left ventricular myocytes isolated from the region affected(More)
Tool development for and empirical experimentation in OWL ontology research require a wide variety of suitable ontologies as input for testing and evaluation purposes and detailed characterisations of real on-tologies. Findings of surveys and results of benchmarking activities may be biased, even heavily, towards manually assembled sets of " somehow(More)
—Embedded systems must be able to operate for long periods of time with limited memory. Dynamic memory allocation is often discouraged in such systems as it requires careful analysis to rule out memory-related software defects. This paper presents an annotation system that can be used to rule out memory access errors in programs written in a subset of the(More)
  • 1