Sciweavers

2057 search results - page 381 / 412
» Developing the Designer's Toolkit with Software Comprehensio...
Sort
View
POPL
2006
ACM
16 years 4 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
141
Voted
EMSOFT
2007
Springer
15 years 10 months ago
Exploiting non-volatile RAM to enhance flash file system performance
Non-volatile RAM (NVRAM) such as PRAM (Phase-change RAM), FeRAM (Ferroelectric RAM), and MRAM (Magnetoresistive RAM) has characteristics of both non-volatile storage and random ac...
In Hwan Doh, Jongmoo Choi, Donghee Lee, Sam H. Noh
ICRA
2003
IEEE
107views Robotics» more  ICRA 2003»
15 years 9 months ago
A miniature inspection robot negotiating pipes of widely varying diameter
The purpose of this research is to realize a small robot which can negotiate pipes whose diameter varies widely during the robot’s course. A new in-pipe locomotion mechanism nam...
Koichi Suzumori, Shuichi Wakimoto, Masanori Takata
DGO
2008
114views Education» more  DGO 2008»
15 years 5 months ago
Towards a business continuity information network for rapid disaster recovery
Crisis Management and Disaster Recovery have gained immense importance in the wake of recent man and nature inflicted calamities such as the terrorist attacks of September 11th 20...
Khalid Saleem, Steven Luis, Yi Deng, Shu-Ching Che...
WSC
1998
15 years 5 months ago
Experience Using the IBM Supply Chain Simulator
The IBM Supply Chain Simulator (SCS) is a software tool that can help a company or a group of companies make strategic business decisions about the design and operation of its sup...
Sugato Bagchi, Stephen J. Buckley, Markus Ettl, Gr...