3358 search results - page 492 / 672 » Parametric Aspects: A Proposal |
148
click to vote
ISCAS
2005
IEEE
16 years 1 days ago
2005
IEEE
Abstract — Mapping applications onto different networks-onchip (NoCs) topologies is done by mapping processing cores on local ports of routers considering requirements like laten...
157
click to vote
ISM
2005
IEEE
16 years 1 days ago
2005
IEEE
The progress and the continuous evolution of computer capacities, as well as the emergence of the X3D standard have recently boosted the 3D domain. Associating some semantics with...
164
click to vote
TPHOL
2005
IEEE
16 years 23 hour ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
154
click to vote
VL
2005
IEEE
16 years 22 hour ago
2005
IEEE
This paper shows how integrated UML models combining class, object, use-case, collaboration and state diagrams can be animated in a domain-specific layout. The presented approach...
185
click to vote
WETICE
2005
IEEE
16 years 21 hour ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...