1312 search results - page 22 / 263 » Embedded contract languages |
128
Voted
DSL
2009
15 years 4 months ago
2009
240
click to vote
IFL
2007
Springer
16 years 18 days 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...
168
Voted
JOT
2007
15 years 6 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...
178
click to vote
CODES
2004
IEEE
15 years 10 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...