3532 search results - page 513 / 707 » Visualization of SystemC Designs |
142
Voted
ECMDAFA
2006
Springer
15 years 6 months ago
2006
Springer
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
161
click to vote
EDBTW
2006
Springer
15 years 6 months ago
2006
Springer
Scientific workflows facilitate automation, reuse, and reproducibility of scientific data management and analysis tasks. Scientific workflows are often modeled as dataflow networks...
129
click to vote
APLAS
2001
ACM
15 years 6 months ago
2001
ACM
Exception analyses so far cannot provide information on the propagation of thrown exceptions, which is necessary to construct interprocedural control flow graph, visualize exceptio...
97
Voted
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
122
click to vote
HHCI
2000
15 years 6 months ago
2000
With the increasing availability and quality of auditory and haptic means of interaction, it is not unusual to incorporate many modalities in interfaces rather than the purely vis...