5407 search results - page 919 / 1082 » The Software Engineering Global Model |
118
click to vote
AO
2007
15 years 4 months ago
2007
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into...
236
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
153
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...
129
click to vote
CSCW
2004
ACM
15 years 9 months ago
2004
ACM
Mission critical applications and legacy systems may be difficult to revise and rebuild, and yet it is sometimes desirable to retrofit their user interfaces with new collaborative...
137
click to vote
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
System-on-chip (SoC) designs have the potential to change the way we organize computation. This potential has gone unrealized. Future SoCs will have multiple heterogeneous process...