5718 search results - page 335 / 1144 » Modeling Rule Precision |
152
Voted
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Many systems employ caches to improve performance. While isolated caches have been studied in-depth, multicache systems are not well understood, especially in networks w...
189
click to vote
WSC
2007
15 years 9 months ago
2007
This article gives an overview of a framework for automatically generating large-scale simulation models from a domain specific problem definition data schema, here semiconductor ...
210
click to vote
TAMODIA
2007
15 years 7 months ago
2007
Mixed Interactive Systems (MIS) is a generic term encompassing mixed and augmented reality, augmented virtuality, and tangible interfaces systems. The work we present in this paper...
185
click to vote
DATE
2005
IEEE
16 years 10 days ago
2005
IEEE
Let’s be clear from the outset: SoC can most certainly make use of UML; SoC just doesn’t need more UML, or even all of it. The advent of model mappings, coupled with marks tha...
179
click to vote
TLCA
2001
Springer
15 years 11 months ago
2001
Springer
Using methods drawn from Game Semantics, we build a sound and computationally adequate model of a simple calculus that includes both subtyping and recursive types. Our model solves...