8109 search results - page 1214 / 1622 » A Model of Component-Based Programming |
208
click to vote
LCTRTS
2010
Springer
15 years 4 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
157
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper extends existing models for collaborative systems. We investigate how much damage can be done by insiders alone, without collusion with an outside adversary. I...
190
click to vote
CCGRID
2011
IEEE
2011
IEEE
Network-Friendly One-Sided Communication through Multinode Cooperation on Petascale Cray XT5 Systems
14 years 10 months ago
—One-sided communication is important to enable asynchronous communication and data movement for Global Address Space (GAS) programming models. Such communication is typically re...
206
click to vote
TACAS
2012
Springer
14 years 1 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
165
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: We have developed a new haplotyping program based on the combination of an iterative multiallelic EM algorithm (IEM), bootstrap resampling and a pseudo Gibbs sampler. ...