Sciweavers

4894 search results - page 293 / 979
» Choices
Sort
View
PPOPP
2006
ACM
16 years 1 months ago
POSH: a TLS compiler that exploits program structure
As multi-core architectures with Thread-Level Speculation (TLS) are becoming better understood, it is important to focus on TLS compilation. TLS compilers are interesting in that,...
Wei Liu, James Tuck, Luis Ceze, Wonsun Ahn, Karin ...
SMA
2006
ACM
132views Solid Modeling» more  SMA 2006»
16 years 1 months ago
Generalized penetration depth computation
— We present an efficient algorithm to compute the generalized penetration depth (PDg) between rigid models. Given two overlapping objects, our algorithm attempts to compute the...
Liangjun Zhang, Young J. Kim, Gokul Varadhan, Dine...
VALUETOOLS
2006
ACM
162views Hardware» more  VALUETOOLS 2006»
16 years 1 months ago
Using UML state machines and petri nets for the quantitative investigation of ETCS
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
Jan Trowitzsch, Armin Zimmermann
CIMCA
2005
IEEE
16 years 28 days ago
Multi-criteria Group Decision Making Using A Modified Fuzzy TOPSIS Procedure
In this paper we propose a modified Fuzzy Technique for Order Performance by Similarity to Ideal Solution (modified Fuzzy TOPSIS) for the Multi-criteria Decision Making (MCDM) prob...
Soroush Saghafian, S. Reza Hejazi
CSFW
2005
IEEE
16 years 28 days ago
Belief in Information Flow
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
Michael R. Clarkson, Andrew C. Myers, Fred B. Schn...