15635 search results - page 135 / 3127 » Modelling and Design of VAML |
131
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
136
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
158
click to vote
ICPADS
2006
IEEE
15 years 11 months ago
2006
IEEE
—Recently, high-end reconfigurable computing systems that employ Field-Programmable Gate Arrays (FPGAs) as hardware accelerators for general-purpose processors have been built. T...
174
click to vote
PATAT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Service network design is critical to the profitability of express shipment carriers. In this paper, we consider the problem of designing the integrated service network ...
196
click to vote
DOCENG
2011
ACM
14 years 4 months ago
2011
ACM
Many Web-based geographic applications have been developed in various domains, such as tourism, education, surveillance and military. However, developing such applications is a cu...