5707 search results - page 184 / 1142 » Symbolic Simulation - Techniques and Applications |
177
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe a consistent splitting approach to the pressurestabilized Petrov-Galerkin finite element method for incompressible flow. The splitting leads to (almost) exp...
174
click to vote
ICSOC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Pervasive systems, and domotics in particular, is an application area where heterogeneity is the norm, with thousands of autonomous heterogeneous devices live together an...
172
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents an environment based on SystemC for architecture specification of programmable systems. Making use of the new architecture description language ArchC, able to ...
159
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Many work has been conducted to analyze service choreographies to assert manyfold correctness criteria. While errors can be detected automatically, the correction of defe...
171
click to vote
APVIS
2006
15 years 8 months ago
2006
Information visualization has attracted much attention in recent years in many fields of science and engineering. In many applications, graphs are `dynamic' in the sense that...