8928 search results - page 1641 / 1786 » Modeling Current Events |
135
click to vote
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...
168
Voted
EMNLP
2011
14 years 3 months ago
2011
We propose a general method to watermark and probabilistically identify the structured outputs of machine learning algorithms. Our method is robust to local editing operations and...
235
Voted
GAMESEC
2011
14 years 3 months ago
2011
Recent smartphones incorporate embedded GPS devices that enable users to obtain geographic information about their surroundings by providing a location-based service (LBS) with the...
167
click to vote
TACAS
2012
Springer
13 years 11 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
131
click to vote
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
Automation and integration of business processes are at the heart of contemporary enterprise systems. In the pursuit of this goal, process automation technology is employed at vary...