3444 search results - page 393 / 689 » A Theory of Object-Oriented Design |
178
click to vote
SIGADA
2005
Springer
16 years 27 days ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
189
click to vote
ACMSE
2004
ACM
16 years 26 days ago
2004
ACM
Today, as Grid Computing is becoming a reality, there is a need for managing and monitoring the available resources worldwide, as well as the need for conveying these resources to...
157
click to vote
IHM
2004
ACM
16 years 26 days ago
2004
ACM
Although coupling interaction resources is key to ubiquitous computing, this notion has been overlooked in previous studies. In this paper, we address this notion in a more system...
195
click to vote
ISLPED
2004
ACM
16 years 26 days ago
2004
ACM
This paper re-examines the well established clocking principles of pipelines. It is observed that clock gating techniques that have long been assumed optimal in reality produce a ...
190
click to vote
ESTIMEDIA
2004
Springer
16 years 24 days ago
2004
Springer
Abstract—Few analytical performance models that relate performance figure of merit to architectural design decisions are reported in recent studies of network-on-chip, which pre...