Sciweavers

111 search results - page 15 / 23
» Source Code Composition with the Reuseware Composition Frame...
Sort
View
PASTE
2010
ACM
15 years 6 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
152
Voted
VMV
2007
186views Visualization» more  VMV 2007»
15 years 3 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
129
Voted
RTCSA
2008
IEEE
15 years 9 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...
133
Voted
CORR
2006
Springer
96views Education» more  CORR 2006»
15 years 2 months 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...
IFM
2004
Springer
175views Formal Methods» more  IFM 2004»
15 years 8 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,...