1190 search results - page 10 / 238 » A type and effect system for atomicity |
ICCAD
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper presents new test generation techniques for improving the average-case performance of the iterative logic array based deterministic sequential circuit test generation a...
IJCNLP
2005
Springer
14 years 6 days ago
2005
Springer
This paper proposes a chunking strategy to detect unknown words in Chinese word segmentation. First, a raw sentence is pre-segmented into a sequence of word atoms 1 using a maximum...
POPL
2011
ACM
12 years 9 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
JCC
2002
13 years 6 months ago
2002
: In an effort to develop a dielectric screening function for molecular dynamics simulations of biomolecules in implicit solvent, effective dielectric constants (Deff) for a large ...
HVC
2005
Springer
14 years 7 days ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...