2373 search results - page 344 / 475 » Towards a Model of Computer Systems Research |
147
click to vote
SAS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
164
click to vote
PERCOM
2011
ACM
14 years 8 months ago
2011
ACM
—While most activity recognition systems rely on data-driven approaches, the use of knowledge-driven techniques is gaining increasing interest. Research in this field has mainly...
152
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
Recent efforts attempt to combine together information of different passive methods. Critical issues in this research are the choice of data and how to combine such data in order ...
150
click to vote
SIGMOD
2011
ACM
14 years 7 months ago
2011
ACM
Today’s one-pass analytics applications tend to be data-intensive in nature and require the ability to process high volumes of data efficiently. MapReduce is a popular programm...
126
click to vote
BIRTHDAY
2000
Springer
15 years 9 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...