2853 search results - page 528 / 571 » A platform for software engineering research |
FSTTCS
2006
Springer
14 years 14 days ago
2006
Springer
A center-transversal line for two finite point sets in R3 is a line with the property that any closed halfspace that contains it also contains at least one third of each point set...
ICSM
1995
IEEE
14 years 11 days ago
1995
IEEE
Organizations spend significant resources tracking customer satisfaction and managing service delivery. Although a great deal of effort is expended in understanding what goes on w...
CGO
2008
IEEE
13 years 10 months ago
2008
IEEE
Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex c...
CODES
2008
IEEE
13 years 10 months ago
2008
IEEE
In view of a booming market for microelectronic implants, our ongoing research work is focusing on the specification and design of a novel biomedical microprocessor core targeting...
EMSOFT
2008
Springer
13 years 10 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...