3130 search results - page 165 / 626 » Design Correctness of Digital Systems |
127
click to vote
DL
1998
Springer
15 years 8 months ago
1998
Springer
This paper presents design considerations for the construction of advanced information environments, and a prototype interface that attempts to respond to them. The design conside...
148
click to vote
EUROPAR
2005
Springer
15 years 9 months ago
2005
Springer
Scientists are increasingly using large distributed systems built from commodity off-the-shelf components to perform scientific computation. Grid computing has expanded the scale ...
123
Voted
RTSS
1999
IEEE
15 years 8 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
129
click to vote
FLAIRS
2008
15 years 6 months ago
2008
Understanding answers to open-ended explanation questions is important in intelligent tutoring systems. Existing systems use natural language techniques in essay analysis, but rev...
140
Voted
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...