2278 search results - page 130 / 456 » Specification Techniques for Automatic Performance Analysis ... |
175
click to vote
CMG
2003
15 years 6 months ago
2003
The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing networks and generalized stochastic Petri nets. Using qu...
180
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
137
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
154
click to vote
FPGA
2000
ACM
15 years 8 months ago
2000
ACM
In this paper we present a "high-level" FPGA architecture description language which lets FPGA architects succinctly and quickly describe an FPGA routing architecture. W...
144
click to vote
CSREAEEE
2006
15 years 6 months ago
2006
- To a large extent, governments and organizations worldwide have recognized that either the broader information communication technologies (ICTs) sector or specifically with respe...