1080 search results - page 113 / 216 » Modeling Constraint Programs with Software Technology Standa... |
CODES
2008
IEEE
14 years 2 months ago
2008
IEEE
In this special session we explore holistic approaches to hardware/software debug that use or integrate transaction level models (TLMs). We present several TLM-based approaches to...
WSC
1996
13 years 9 months ago
1996
Researchers at the National Institute of Standards and Technology are developing a virtual manufacturing cell. This cell will contain simulation models of a wide range of manufact...
ELPUB
2007
ACM
13 years 11 months ago
2007
ACM
The growth in electronic and digital publishing on the World Wide Web has led to the development of a wide range of tools for generating metadata. As a result, it can be difficult...
CP
2001
Springer
14 years 11 days ago
2001
Springer
Instruction scheduling is one of the most important steps for improving the performance of object code produced by a compiler. The local instruction scheduling problem is to nd a m...
CAISE
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...