Sciweavers

9425 search results - page 1499 / 1885
» Some Notes on Models and Modelling
Sort
View
185
Voted
PLDI
2005
ACM
16 years 11 days 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 11 days 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 11 days 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 11 days 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
SMA
2005
ACM
168views Solid Modeling» more  SMA 2005»
16 years 11 days 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 »