Sciweavers

111 search results - page 15 / 23
» Source Code Composition with the Reuseware Composition Frame...
Sort
View
PASTE
2010
ACM
15 years 4 months ago
The RoadRunner dynamic analysis framework for concurrent programs
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
Cormac Flanagan, Stephen N. Freund
VMV
2007
186views Visualization» more  VMV 2007»
15 years 1 months ago
Sketch Based Image Deformation
We present an image editing tool that allows to deform and composite image regions using an intuitive sketch-based interface. Users simply draw the outline of the source image reg...
Mathias Eitz, Olga Sorkine, Marc Alexa
115
Voted
RTCSA
2008
IEEE
15 years 7 months ago
CREAM: A Generic Build-Time Component Framework for Distributed Embedded Systems
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
Chetan Raj, Jiyong Park, Jungkeun Park, Seongsoo H...
110
Voted
CORR
2006
Springer
96views Education» more  CORR 2006»
15 years 23 days ago
Upper Bounding the Performance of Arbitrary Finite LDPC Codes on Binary Erasure Channels
Assuming iterative decoding for binary erasure channels (BECs), a novel tree-based technique for upper bounding the bit error rates (BERs) of arbitrary, finite low-density parity-c...
Chih-Chun Wang, Sanjeev R. Kulkarni, H. Vincent Po...
103
Voted
IFM
2004
Springer
175views Formal Methods» more  IFM 2004»
15 years 6 months ago
State/Event-Based Software Model Checking
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine,...