Sciweavers

1246 search results - page 73 / 250
» Tool Support for Helping the Use of Frameworks
Sort
View
ICDE
2008
IEEE
146views Database» more  ICDE 2008»
14 years 9 months ago
DIPBench Toolsuite: A Framework for Benchmarking Integration Systems
So far the optimization of integration processes between heterogeneous data sources is still an open challenge. A first step towards sufficient techniques was the specification of ...
Dirk Habich, Matthias Böhm, Uwe Wloka, Wolfga...
SOQUA
2007
13 years 8 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
ICPP
1994
IEEE
13 years 12 months ago
Cachier: A Tool for Automatically Inserting CICO Annotations
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...
Trishul M. Chilimbi, James R. Larus
SAS
2005
Springer
134views Formal Methods» more  SAS 2005»
14 years 1 months ago
Using Dependent Types to Certify the Safety of Assembly Code
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
Matthew Harren, George C. Necula
JBI
2006
13 years 7 months ago
Support versus corroboration
Numerous metrics have been developed that attempt to assess the reliability of phylogenetic trees. Several of these commonly used measures of tree and tree branch support are desc...
Mary G. Egan