244 search results - page 11 / 49 » Generative Operational Semantics for Relaxed Memory Models |
NIPS
1993
14 years 11 months ago
1993
We propose a learning algorithm for a variable memory length Markov process. Human communication, whether given as text, handwriting, or speech, has multi characteristic time scal...
108
click to vote
SIGSOFT
2006
ACM
15 years 3 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
DSOM
2000
Springer
15 years 1 months ago
2000
Springer
Operational Data Analysis (ODA) automatically 1) monitors the performance of a computer through time, 2) stores such information in a data repository, 3) applies data-mining techn...
CIE
2008
Springer
14 years 11 months ago
2008
Springer
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
77
Voted
PVLDB
2010
14 years 8 months ago
2010
Current pattern-detection proposals for streaming data recognize the need to move beyond a simple regular-expression model over strictly ordered input. We continue in this directi...