Sciweavers

3280 search results - page 447 / 656
» Design Families and Design Individuals
Sort
View
DAC
2003
ACM
16 years 8 months ago
Accurate timing analysis by modeling caches, speculation and their interaction
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
Xianfeng Li, Tulika Mitra, Abhik Roychoudhury
ICML
2003
IEEE
16 years 8 months ago
Incorporating Diversity in Active Learning with Support Vector Machines
In many real world applications, active selection of training examples can significantly reduce the number of labelled training examples to learn a classification function. Differ...
Klaus Brinker
ICSE
2008
IEEE-ACM
16 years 8 months ago
A teamwork-based approach to programming fundamentals with scheme, smalltalk & java
In October 2004 the University of Lugano in southern Switzerland established a new faculty of informatics. Its founding principles are innovation in teaching and faculty participa...
Michele Lanza, Amy L. Murphy, Romain Robbes, Mirce...
SIGSOFT
2009
ACM
16 years 8 months ago
Synthesizing partial component-level behavior models from system specifications
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvid...
SIGSOFT
2003
ACM
16 years 8 months ago
Ontology support for web service processes
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
Claus Pahl, Michael Casey