Sciweavers

5664 search results - page 112 / 1133
» Creativity support tools
Sort
View
ACSC
2004
IEEE
14 years 1 months ago
Automatic Derivation of Loop Termination Conditions to Support Verification
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
Daniel Powell
AIME
2007
Springer
14 years 4 months ago
Machine Learning Techniques for Decision Support in Anesthesia
Abstract. The growing availability of measurement devices in the operating room enables the collection of a huge amount of data about the state of the patient and the doctors’ pr...
Olivier Caelen, Gianluca Bontempi, Luc Barvais
MSR
2005
ACM
14 years 3 months ago
Using a clone genealogy extractor for understanding and supporting evolution of code clones
Programmers often create similar code snippets or reuse existing code snippets by copying and pasting. Code clones —syntactically and semantically similar code snippets—can ca...
Miryung Kim, David Notkin
SAMOS
2005
Springer
14 years 3 months ago
Automatic ADL-Based Assembler Generation for ASIP Programming Support
Abstract. Systems-on-Chip (SoCs) may be built upon general purpose CPUs or application-specific instruction-set processors (ASIPs). On the one hand, ASIPs allow a tradeoff betwee...
Leonardo Taglietti, José O. Carlomagno Filh...
CAISE
2004
Springer
14 years 3 months ago
A Better Fit - Characterising the Stakeholders
The foundations of support for any business process lie in understanding the needs of people, the stakeholders in business processes and support systems. Stakeholder analysis has b...
Ian F. Alexander