Loading… Loading…
19 10, 2017

First Place at the 1st Annual Tsing Hua Brain-Inspired Computing Competition

The team comprises Chan Luo Qi, Hum Qing Ze and Hong Peng Fei, and mentored by Professor Zhao Rong, Professor Lu Wei, Dr Tan Chun Chia, Dr Jiang Yu and Mr Lim Kian Guan. The prize money totaled 120,000 RMB. [...]

11 10, 2017

Prof. T. Russell Hsing (Visiting Professor, SUTD) – Fog Computing and Networking: A Key Pillar for Current 5G Engineering to future 6G Research

Abstract Pushing processing and storage into the “cloud” has been a key trend in networking and distributed systems in the past decade. In the next wave of network architecture and technology advance, the cloud is now descending to be diffused among the client devices, often with mobility too: the cloud is becoming “fog.” For example, more than just faster speed, many IoT […]

27 09, 2017

Richard DeMillo (Georgia Institute of Technology) – This Will Go on Your Permanent Record-Blockchain Talk

Blockchain is the technology for decentralized management of distributed data that underpins BitCoin and other cryptocurrencies. [...]

26 09, 2017

3rd Prize in the Singapore Health Innovation Technology Challenge (HIT) 2017

Congratulations on winning the 3rd prize in the Singapore Health Innovation Technology Challenge (HIT) 2017! [...]

25 09, 2017

Alexander Pretschner (Technical University of Munich) – Testing Cyber-Physical Systems— The Automotive Case

Test automation is a big problem in industry. The bigger problem is that of test case selection: what makes a test case a good test case? [...]

22 09, 2017

Yuan-Fang Li (Monash University) – Extract Access Permissions from Java Programs

Multi-core processors have become the dominant computing platform in recent years. In the concurrency by default programming paradigm, permission-based dependencies have been investigated as an alternative approach to enabling automated parallelisation and avoiding errors that may arise when concurrency constructs are manually added, a common practice in mainstream languages such as Java. [...]

19 09, 2017

2nd Prize in the Global Health Innovation Technology Challenge (HIT) 2017

Congratulations on winning the 2nd prize in the Global Health Innovation Technology Challenge (HIT) 2017! [...]

11 09, 2017

PERI wins The James Dyson Award 2017 in Singapore

Congratulations on winning the James Dyson Award 2017. [...]

8 09, 2017

Ian Hayes (University of Queensland) – Synchronous Concurrent Refinement Algebra and Fairness

In order to support reasoning about concurrent programs in a rely/guarantee style, we have developed a synchronous refinement algebra similar to Milner's SCCS. [...]

29 08, 2017

Alan Mishchenko (UC Berkeley) – Enhancing PDR/IC3 with Localization Abstraction

Property Directed Reachability (aka PDR/IC3) is the strongest engine presently used in formal verification tools. [...]