Notions of time and progress - CS 591 K1: Data Stream Processing and Analytics Spring 2020
Kalavri vkalavri@bu.edu CS 591 K1: Data Stream Processing and Analytics Spring 2020 2/06: Notions of time and progress Vasiliki Kalavri | Boston University 2020 Mobile game application • input would give you the extra life • results are deterministic and independent of the processing speed Notions of time 5 Vasiliki Kalavri | Boston University 2020 6 1977 1980 1983 1999 2002 2005 2015 Episode0 码力 | 22 页 | 2.22 MB | 1 年前3Delivering safe C++
years of delay and chaos • A single “cleaned up” language cannot support the wide variety of safety notions • A “cleaned up C++” would have to interoperate with “classical C++” code “forever” • Serious design provided by a unit of code is stated in the code Stroustrup - C++ safety -CppCon - October 2023 62Many notions of safety • Logic errors: perfectly legal constructs that don’t reflect the programmer’s intent0 码力 | 74 页 | 2.72 MB | 5 月前3《TensorFlow 2项目进阶实战》1-基础理论篇:TensorFlow 2设计思想
模型格式 TensorFlow 2 vs TensorFlow 1.x Keras vs TensorFlow 1.x TensorFlow 1.x 工作流 Full of abstract notions TensorFlow 2 工作流 Native Friendly to TensorFlow 生产级 AI 方案 TensorFlow 2 落地应用 TensorFlow 与移动互联网的结合0 码力 | 40 页 | 9.01 MB | 1 年前3The Hitchhiker’s Guide to Logical Verification
option.some to convert a pure α value to an option. One of the advantages of using the predefined notions is that they provide syntactic sugar, in the form of the > > = operator: def sum_2_5_74 (ns : list Programming Lean itself is called metaprogramming. Lean’s meta- programming framework uses mostly the same notions and syntax as Lean’s input language itself, so that we do not need to learn a diferent programming loops, which are not guaranteed to ter- minate, we need to develop some additional mathematical notions to reach the point where we can formulate the desired semantics. 10.2 A Relational Denotational0 码力 | 215 页 | 1.95 MB | 1 年前3A Seat at the Table - IT Leadership in the Age of Agility
reference that is getting in our way as we try to become Agile. This frame of reference includes the notions of project, systems, application, investment, architecture, skill set, and accountability. We have0 码力 | 4 页 | 379.23 KB | 5 月前3Streaming in Apache Flink
of Rides and Fares Time and Analytics Event Time • Flink explicitly supports three different notions of time: • Event time • Ingestion time • Processing time (default) final StreamExecutionEnvironment0 码力 | 45 页 | 3.00 MB | 1 年前3The DevOps Handbook
DOCUMENTATION AND PROOF FOR AUDITORS AND COMPLIANCE OFFICERS i. DevOps challenges the traditional notions of auditing, controls, and risk mitigations. ii. Bill Shinn, principle security solutions architect0 码力 | 9 页 | 25.13 KB | 5 月前3The Go Handbook
want to isolate the libraries you use. 8. Diving into the language Now that we got the first notions in place, and we ran our first Hello, World! program, we can dive into the language. The language0 码力 | 44 页 | 4.30 MB | 1 年前3Istio audit report - ADA Logics - 2023-01-30 - v1.0
future security audits we recommend more transparent and public tracking of issues, and explicit notions of fixes for each issue. The goal of this is to make it easier for users to track any potential issues0 码力 | 55 页 | 703.94 KB | 1 年前3The Lean Reference Manual Release 3.3.0
elements that block computation, as described in the next section. The system recognizes the following notions of reduction: • β-reduction : An expression (λ x, t) s β-reduces to t[s/x], that is, the result0 码力 | 67 页 | 266.23 KB | 1 年前3
共 197 条
- 1
- 2
- 3
- 4
- 5
- 6
- 20