6652 search results - page 140 / 1331 » A perspective based approach to design |
158
click to vote
SEKE
1993
Springer
15 years 10 months ago
1993
Springer
Software metrics provide effective methods for characterizing software. Metrics have traditionally been composed through the definition of an equation, but this approach is limite...
165
click to vote
WAIM
2005
Springer
15 years 12 months ago
2005
Springer
Monitoring the real-time status of voluntary nodes is a basic task of Quality of Services (QoS) management in grid. The heterogeneity of distributed host resources is an obvious ob...
194
click to vote
CSREAESA
2006
15 years 7 months ago
2006
We present our joint view for efficient development of efficient and dependable ERTS (Embedded Real-Time Systems). This view is based on the three main viewpoints of (1) the softw...
162
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
The management of big databases of threedimensional models (used in CAD applications, visualization, games, etc.) is a very important domain. The ability to characterize and easil...
162
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...