2607 search results - page 92 / 522 » On the Architecture of System Verification Environments |
132
click to vote
COMSIS
2004
15 years 6 months ago
2004
This paper describes architecture, design, and implementation of Multitutor, a Web-based environment for the development the elearning courses and for the use of them by the studen...
195
click to vote
APPT
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Grid computing is becoming a mainstream technology for multiinstitutional distributed resources sharing and system integration. Normally, the programmer's productivi...
188
click to vote
VRML
2004
ACM
15 years 11 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...
153
click to vote
CODES
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents a complete codesign environment for embedded systems which combines automatic partitioning with reuse from a module database. Special emphasis has been put on ...
150
click to vote
ICDCS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes an architecture that provides support for quality of service (QoS) specification and enforcement in heterogeneous distributed computing systems. The Quartz Qo...