Sciweavers

2623 search results - page 151 / 525
» tools 2010
Sort
View
129
Voted
ENTCS
2007
116views more  ENTCS 2007»
15 years 5 months ago
DisCComp - A Formal Model for Distributed Concurrent Components
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
Andreas Rausch
ENTCS
2002
73views more  ENTCS 2002»
15 years 5 months ago
Reducing the Overhead of Dynamic Analysis
Dynamic analysis (instrumenting programs with code to detect and prevent errors during program execution) can be an effective approach to debugging, as well as an effective means ...
Suan Hsi Yong, Susan Horwitz
ITBAM
2010
15 years 3 months ago
MEDCollector: Multisource Epidemic Data Collector
This paper analyzes the requirements and presents a novel approach to the development of a system for epidemiological data collection and integration based on the principles of int...
João Zamite, Fabrício A. B. Silva, F...
138
Voted
CORR
2010
Springer
77views Education» more  CORR 2010»
15 years 4 months ago
LinBox founding scope allocation, parallel building blocks, and separate compilation
To maximize efficiency in time and space, allocations and deallocations, in the exact linear algebra library LinBox, must always occur in the founding scope. This provides a simpl...
Jean-Guillaume Dumas, Thierry Gautier, Clém...
JCT
2010
65views more  JCT 2010»
15 years 4 months ago
Multiple cross-intersecting families of signed sets
A k-signed r-set on [n] = {1, ..., n} is an ordered pair (A, f), where A is an rsubset of [n] and f is a function from A to [k]. Families A1, ..., Ap are said to be cross-intersec...
Peter Borg, Imre Leader