Michio Honda

According to our database1, Michio Honda
  • authored at least 24 papers between 1979 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Unikernels Everywhere: The Case for Elastic CDNs.
Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2017

HyperNF: building a high performance, high utilization and fair NFV platform.
Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

Prism: a proxy architecture for datacenter networks.
Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

2016
StackMap: Low-Latency Networking with the OS Stack and Dedicated NICs.
Proceedings of the 2016 USENIX Annual Technical Conference, 2016

PASTE: Network Stacks Must Integrate with NVMM Abstractions.
Proceedings of the 15th ACM Workshop on Hot Topics in Networks, 2016

2015
mSwitch: a highly-scalable, modular software switch.
Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015

2014
Rekindling network protocol innovation with user-level stacks.
Computer Communication Review, 2014

ClickOS and the Art of Network Function Virtualization.
Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014

2012
Reducing energy consumption with batched task executions.
Proceedings of the 10th ACM Conference on Embedded Network Sensor Systems, 2012

Monitoring the Dynamics of Network Traffic by Recursive Multi-Dimensional Aggregation.
Proceedings of the 2012 Workshop on Managing Systems Automatically and Dynamically, 2012

How Hard Can It Be? Designing and Implementing a Deployable Multipath TCP.
Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, 2012

Extending TFWC towards higher throughput.
Proceedings of the 2012 IEEE Consumer Communications and Networking Conference (CCNC), 2012

2011
pSurvive: A process lifetime reservation system with fine-grained energy monitoring for multifunctional mobile nodes.
Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011

Is it still possible to extend TCP?
Proceedings of the 11th ACM SIGCOMM Internet Measurement Conference, 2011

PACUE: Processor Allocator Considering User Experience.
Proceedings of the Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29, 2011

2008
Connectivity-driven flow recovery for time-sensitive transport services.
Proceedings of the LCN 2008, 2008

A Connectivity-Driven Retransmission Scheme Based On Transport Layer Readdressing.
Proceedings of the 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 2008

2007
Performance Enhancement of Transport Layer Handover on Single-Homed Mobile Nodes.
IEICE Transactions, 2007

SmSCTP: A Fast Transport Layer Handover Method Using Single Wireless Interface.
Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007

1983
Strategies and Techniques for Interactive Proof.
Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983

Proof System.
Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983

KWIC Example.
Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983

1980
Hierarchical Program Specification and Verification - a Many-sorted Logical Approach.
Acta Inf., 1980

1979
Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979


  Loading...