12774 search results - page 363 / 2555 » A Framework for Proof Systems |
186
click to vote
SIES
2009
IEEE
16 years 1 months ago
2009
IEEE
—The performance estimation of complex multi-processor systems-on-chip (MPSoC) in a reasonable amount of time and with a good accuracy becomes more and more challenging due to th...
179
click to vote
DSRT
2005
IEEE
16 years 14 days ago
2005
IEEE
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
183
click to vote
MSS
2005
IEEE
16 years 13 days ago
2005
IEEE
We present an architecture of a trust framework that can be utilized to intelligently tradeoff between security and performance in a SAN file system. The primary idea is to diffe...
149
click to vote
WSC
2001
15 years 8 months ago
2001
Simulation models provide a powerful tool for the analysis of manufacturing systems, but their utility beyond the design stage of the system life cycle is hampered by the high cos...
165
click to vote
MMS
2008
15 years 6 months ago
2008
CLAM is a C++ framework that offers a complete development and research platform for the audio and music domain. om offering an abstract model for audio systems, it also includes ...