Sciweavers

9425 search results - page 1499 / 1885
» Some Notes on Models and Modelling
Sort
View
218
Voted
PLDI
2005
ACM
16 years 1 months ago
Path slicing
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
Ranjit Jhala, Rupak Majumdar
PODC
2005
ACM
16 years 1 months ago
Toward a theory of transactional contention managers
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...
Rachid Guerraoui, Maurice Herlihy, Bastian Pochon
SC
2005
ACM
16 years 1 months ago
GLARE: A Grid Activity Registration, Deployment and Provisioning Framework
Resource management is a key concern for implementing effective Grid middleware and shielding application developers from low level details. Existing resource managers concentrat...
Mumtaz Siddiqui, Alex Villazón, Jürgen...
SIGIR
2005
ACM
16 years 1 months ago
On the collective classification of email "speech acts"
We consider classification of email messages as to whether or not they contain certain “email acts”, such as a request or a commitment. We show that exploiting the sequential ...
Vitor Rocha de Carvalho, William W. Cohen
178
Voted
SMA
2005
ACM
168views Solid Modeling» more  SMA 2005»
16 years 1 months ago
Layered tetrahedral meshing of thin-walled solids for plastic injection molding FEM
This paper describes a method for creating a well-shaped, layered tetrahedral mesh of a thin-walled solid by adapting the surface triangle sizes to the estimated wall thickness. T...
Soji Yamakawa, Charles Shaw, Kenji Shimada
« Prev « First page 1499 / 1885 Last » Next »