Inteum Company
Links
seedsprint
Visible Legacy
RSS
News & Resources
Inteum Company News
Inteum Library
Subscribe
Search Results - boon+loo
3
Results
Sort By:
Published Date
Updated Date
Title
ID
Descending
Ascending
NetSpec: An Automatic And Fast Network Specification Synthesis Toolkit
A specification-by-example toolkit that generates formal network specifications using only input-output examples. Problem: Many modern computer systems run on networks like cloud clusters or distributed systems. However, the network protocols that support the operation and security of these systems are notoriously difficult to debug. Formal network...
Published: 11/19/2024
|
Inventor(s):
Boon Loo
,
Haoxian Chen
,
Mayur Naik
,
Chenyuan Wu
,
Mukund Raghothaman
Keywords(s):
Software
Category(s):
Technology Classifications > Computer Information Systems
Efficient Data Processing: TeShu Unleashes Speed, Adaptability, And Simplified Optimization
A versatile system that optimizes and adapts data shuffling in distributed systems, simplifying complex operations and enhancing overall performance. Problem: Large-scale data analytics in modern data centers involve three main steps: workers process data independently (compute), preliminary results can be locally processed (combine), and data is...
Published: 6/18/2024
|
Inventor(s):
Boon Loo
,
Vincent Liu
,
Qizhen Zhang
,
Jiacheng Wu
Keywords(s):
Data Science
,
Software
Category(s):
Technology Classifications > Computer Information Systems
NetEgg: Automated code generation for software-defined networks
Software synthesis for fast and easy network configuration Problem: Software-Defined Networking (SDN) usually requires network administrators to be skilled in programming languages such as C++, Python, or Ruby. However, many IT operators tasked with installing routers or other network components may lack the skills to program SDN equipment. Due to...
Published: 10/16/2023
|
Inventor(s):
Boon Loo
Keywords(s):
Category(s):
Technology Classifications > Computer Information Systems