15253 search results - page 246 / 3051 » Integer-Programming Software Systems |
165
click to vote
IFIP
1992
Springer
15 years 10 months ago
1992
Springer
We provide a structured classification of properties to guide the principled design of interactive systems. This classification is motivated by an existing software quality framew...
190
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
168
click to vote
IEEEPACT
2003
IEEE
15 years 12 months ago
2003
IEEE
In Thread-Level Speculation (TLS), speculative tasks generate memory state that cannot simply be combined with the rest of the system because it is unsafe. One way to deal with th...
160
click to vote
QUATIC
2007
IEEE
16 years 28 days ago
2007
IEEE
The milestones of the history of software development are paradigm shifts. Each paradigm brought its own features and new ways of composing them to assemble software systems. Unde...
174
click to vote
ICSM
2005
IEEE
16 years 7 days ago
2005
IEEE
In the context of software maintenance, legacy software systems are continuously re-engineered in order to correct errors, provide new functionality, or port them into modern plat...