Sciweavers

2613 search results - page 187 / 523
» Proposal for Tools Supporting Component Based Programming
Sort
View
APSEC
2008
IEEE
16 years 24 days ago
A Heap Model for Java Bytecode to Support Separation Logic
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
Chenguang Luo, Guanhua He, Shengchao Qin
DEXAW
2004
IEEE
82views Database» more  DEXAW 2004»
15 years 10 months ago
Supporting Public Software Acquisition Workflows - Implications for Data Models
Many software acquisition projects are doomed to fail due to a lack of integration of acquisition and development processes on the one hand and, because of shortcomings of classic...
Werner Aigner, Peter Regner, Thomas Wiesinger, Jos...
JSW
2007
134views more  JSW 2007»
15 years 6 months ago
Compositional Patterns of Non-Functional Properties for Contract Negotiation
— Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. This a...
Hervé Chang, Philippe Collet
168
Voted
LOPSTR
2007
Springer
16 years 14 days ago
Aggregates for CHR through Program Transformation
We propose an extension of Constraint Handling Rules (CHR) with aggregates such as sum, count, findall, and min. This new feature significantly improves the conciseness and expres...
Peter Van Weert, Jon Sneyers, Bart Demoen
ICTAI
2002
IEEE
15 years 11 months ago
A Trace-Scaling Agent for Parallel Application Tracing
Tracing and performance analysis tools are an important component in the development of high performance applications. Tracing parallel programs with current tracing tools, howeve...
Felix Freitag, Jordi Caubet, Jesús Labarta