225 search results - page 35 / 45 » Design for Constraint Violation Detection in Safety-Critical... |
101
Voted
ER
2010
Springer
14 years 9 months ago
2010
Springer
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expr...
IPPS
2005
IEEE
15 years 5 months ago
2005
IEEE
Traditional techniques for building dependable, highperformance distributed systems are too expensive for most non-critical systems, often causing dependability to be sidelined as...
191
click to vote
CC
2011
Springer
14 years 3 months ago
2011
Springer
For decades, the design and implementation of arrays in programming languages has reflected a natural tension between productivity and performance. Recently introduced HPCS langua...
102
click to vote
ICSE
2005
IEEE-ACM
15 years 11 months ago
2005
IEEE-ACM
Developers of highly configurable performanceintensive software systems often use a type of in-house performance-oriented "regression testing" to ensure that their modif...
DEBU
1998
14 years 11 months ago
1998
Applications that rely on replicated data have different requirements for how their data is managed. For example, some applications may require that updates propagate amongst repl...