1312 search results - page 22 / 263 » Embedded contract languages |
SIGADA
1993
Springer
15 years 2 months ago
1993
Springer
DSL
2009
14 years 7 months ago
2009
132
click to vote
IFL
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
JOT
2007
14 years 9 months ago
2007
This paper describes a Quality of Service (QoS) management approach and architecture as well as a case study for Service Level Management (SLM). Our approach brings in a new persp...
CODES
2004
IEEE
15 years 1 months ago
2004
IEEE
Register bypassing is a powerful and widely used feature in modern processors to eliminate certain data hazards. Although complete bypassing is ideal for performance, bypassing ha...