Sciweavers

165 search results - page 5 / 33
» Types for atomicity
Sort
View
ALIFE
2008
14 years 9 months ago
The Nature of Words in Human Protolanguages: It's Not a Holophrastic-Atomic Meanings Dichotomy
There is an ongoing debate as to whether the words in early pre-syntactic forms of human language had simple atomic meanings like modern words [4, 5], or whether they were holophr...
Mike Dowman
79
Voted
ADAEUROPE
1997
Springer
15 years 1 months ago
On Programming Atomic Actions in Ada 95
Abstract. This paper describes the development of two kinds of atomic action schemes for Ada 95. We start by discussing the basic features required of an atomic action scheme and w...
Alexander B. Romanovsky, Stuart E. Mitchell, Andy ...
AISS
2010
147views more  AISS 2010»
14 years 6 months ago
Correlating Lattice Constant of Cubic Perovskites to Atomic Parameters Using Support Vector Regression
Recently, due to problems arising from lattice mismatch in thin film growth in semiconductor manufacturing industry, researchers have shown great interest in modeling the physioch...
Abdul Majid, Yeon Soo Lee
ASPLOS
2006
ACM
15 years 3 months ago
AVIO: detecting atomicity violations via access interleaving invariants
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou
WCRE
1999
IEEE
15 years 1 months ago
An Incremental Semi-Automatic Method for Component Recovery
Atomic components are sets of related variables, types, rograms, e.g., abstract data types and objects. Many techniques exist to detect them automatically. However, as an evaluati...
Rainer Koschke