首页>外文会议>Workshop on ACM SIGOPS European workshop

Workshop on ACM SIGOPS European workshop

召开年：2002
召开地：Saint-Emilion(FR)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Rewind, repair, replay

机译：倒带，修复，重播
- 作者：Aaron B. Brown;David A. Patterson
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
2.Brittle systems will break - not bend

机译：脆性系统会破裂-不会弯曲
- 作者：Yvonne Coady;Gregor Kiczales;Joon Suan Ong;Andrew Warfield;Michael Feeley
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
3.The case for cyber foraging

机译：网络搜寻的理由
- 作者：Rajesh Balan;Jason Flinn;M. Satyanarayanan;Shafeeq Sinnamohideen;Hen-I Yang
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
4.Denali

机译：德纳利
- 作者：Andrew Whitaker;Marianne Shaw;Steven D. Gribble
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
5.Automating data dependability

机译：自动化数据可靠性
- 作者：Kimberly Keeton;John Wilkes
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
6.Dependency on O.S. in long-term programs

机译：对O.S.的依赖在长期计划中
- 作者：Patrick Cormery;Le Vinh Quy Ribal;Arnaud Stransky
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
7.Model checking system software with CMC

机译：带有CMC的模型检查系统软件
- 作者：Madanlal Musuvathi;Andy Chou;David L. Dill;Dawson Engler
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
8.An approach for a dependable Java embedded environment

机译：一种可靠的Java嵌入式环境的方法
- 作者：Gilbert Cabillic;Salam Majoul;Jean-Philippe Lesot;Michel Banatre
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
9.An online evolutionary approach to developing internet services

机译：开发互联网服务的在线进化方法
- 作者：Mike Y. Chen;Emre Kiciman;Eric Brewer
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
10.Studying and using failure data from large-scale internet services

机译：研究和使用来自大型Internet服务的故障数据
- 作者：David Oppenheimer;David A. Patterson
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
11.InfoSpect

机译：InfoSpect
- 作者：Timothy Roscoe;Richard Mortier;Paul Jardetzky;Steven Hand
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
12.One ring to rule them all

机译：一个环统治他们全部
- 作者：Miguel Castro;Peter Druschel;Anne-Marie Kermarrec;Antony Rowstron
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
13.Execution time limitation of interrupt handlers in a Java operating system

机译：Java操作系统中中断处理程序的执行时间限制
- 作者：Meik Felser;Michael Golm;Christian Wawersich;Jurgen Kleinoder
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
14.Replica management should be a game

机译：副本管理应该是一个游戏
- 作者：Dennis Geels;John Kubiatowicz
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
15.Security architectures revisited

机译：重新审视安全架构
- 作者：Hermann Hartig
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
16.The case for transient authentication

机译：临时身份验证的情况
- 作者：Brian D. Noble;Mark D. Corner
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
17.Efficient heartbeats and repair of softstate in decentralized object location and routing systems

机译：分散对象定位和路由系统中的有效心跳和软状态修复
- 作者：Hakim Weatherspoon;John D. Kubiatowicz
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
18.Event-driven programming for robust software

机译：事件驱动的程序设计，功能强大的软件
- 作者：Frank Dabek;Nickolai Zeldovich;Frans Kaashoek;David Mazieres;Robert Morris
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
19.Nooks

机译：角落
- 作者：Michael M. Swift;Steven Martin;Henry M. Levy;Susan J. Eggers
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
20.Sub-operating systems

机译：子操作系统
- 作者：Sotiris Ioannidis;Steven M. Bellovin;Jonathan M. Smith
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
21.The design of a robust peer-to-peer system

机译：健壮的对等系统的设计
- 作者：Rodrigo Rodrigues;Barbara Liskov;Liuba Shrira
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
22.Design and implementation of the Lambda μ-kernel based operating system for embedded systems

机译：基于Lambdaμ内核的嵌入式系统操作系统的设计和实现
- 作者：Kenji Hisazumi;Tsuneo Nakanishi;Teruaki Kitasuka;Akira Fukuda
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
23.Self-organization in peer-to-peer systems

机译：对等系统中的自组织
- 作者：Jonathan Ledlie;Jacob M. Taylor;Laura Serban;Margo Seltzer
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
24.HiScamp

机译：海康
- 作者：Ayalvadi J. Ganesh;Anne-Marie Kermarrec;Laurent Massoulie
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
25.OASIS project

机译：OASIS项目
- 作者：Stephane Louise;Vincent David;Jean Delcoigne;Christophe Aussagues
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
26.Operating system support for massive replication

机译：操作系统支持大规模复制
- 作者：Arun Venkataramani;Ravi Kokku;Mike Dahlin
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
27.Pangaea

机译：潘吉亚
- 作者：Yasushi Saito;Christos Karamanolis
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
28.Extensible distributed operating system for reliable control systems

机译：可扩展的分布式操作系统，用于可靠的控制系统
- 作者：Katsumi Maruyama;Kazuya Kodama;Soichiro Hidaka;Hiromichi Hashizume
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
29.Overload management as a fundamental service design primitive

机译：过载管理是基本服务设计原语
- 作者：Matt Welsh;David Culler
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
30.AIMS

机译：AIMS
- 作者：Fabian E. Bustamante;Christian Poellabauer;Karsten Schwan
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
31.Fault tolerance and avoidance in biomedical systems

机译：生物医学系统中的容错和避免
- 作者：Shane Stephens;Gernot Heiser
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
32.Gaining and maintaining confidence in operating systems security

机译：获得并保持对操作系统安全性的信心
- 作者：Trent Jaeger;Antony Edwards;Xiaolan Zhang
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
33.High-confidence operating systems

机译：高可信度操作系统
- 作者：Radu Grosu;Erez Zadok;Scott A. Smolka;Rance Cleaveland;Yanhong A. Liu
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
34.Increasing smart card dependability

机译：提高智能卡的可靠性
- 作者：Ludovic Casset;Jean-Louis Lanet
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
35.A utility-centered approach to building dependable infrastructure services

机译：以实用程序为中心的方法来构建可靠的基础架构服务
- 作者：George Candea;Armando Fox
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
36.Towards trusted systems from the ground up

机译：从头开始建立可信的系统
- 作者：Vivek Haldar;Michael Franz
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
37.Applying source-code verification to a microkernel

机译：将源代码验证应用于微内核
- 作者：Michael Hohmuth;Hendrik Tews;Shane G. Stephens
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
38.Back to the future

机译：回到未来
- 作者：Jeffrey Chase;Amin Vahdat;John Wilkes
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
39.Dependable software needs pervasive debugging

机译：可靠的软件需要广泛的调试
- 作者：Timothy L. Harris
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
40.Rigour is good for you and feasible

机译：严谨对您有益且可行
- 作者：Michael Norrish;Peter Sewell;Keith Wansbrough
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
41.Capturing OS expertise in an event type system

机译：捕获事件类型系统中的OS专业知识
- 作者：Julia L. Lawall;Gilles Muller;Luciano Porto Barreto
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
42.Specifying and verifying systems with TLA+

机译：使用TLA +指定和验证系统
- 作者：Leslie Lamport;John Matthews;Mark Tuttle;Yuan Yu
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
43.A design of the persistent operating system with non-volatile memory

机译：具有非易失性存储器的持久性操作系统的设计
- 作者：Ren Ohmura;Nobuyuki Yamasaki;Yuichiro Anzai
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
44.Timing fault detection for safety-critical real-time embedded systems

机译：安全关键型实时嵌入式系统的定时故障检测
- 作者：Sebastien Faucou;Anne-Marie Dplanche;Yvon Trinquet
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
45.Secure coprocessor-based intrusion detection

机译：基于协处理器的安全入侵检测
- 作者：Xiaolan Zhang;Leendert van Doorn;Trent Jaeger;Ronald Perez;Reiner Sailer
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年
46.THINK

机译：认为
- 作者：Christophe Rippert;Jean-Bernard Stefani
- 会议名称：《Workshop on ACM SIGOPS European workshop》 | 2002年