Sciweavers

1921 search results - page 223 / 385
» : Designing a Scalable Build Process
Sort
View
126
Voted
HOTOS
2007
IEEE
15 years 7 months ago
Towards a Practical, Verified Kernel
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Ti...
125
Voted
ARCS
2006
Springer
15 years 7 months ago
ORCAN: A platform for complex parallel simulation software
: The Open Reflective Component Architecture (ORCAN) is a component based software platform for Simulation software. It enables to build applications out of runtime exchangeable co...
Jan Treibig, Silke Berler, Ulrich Rüde
164
Voted
NOSSDAV
1995
Springer
15 years 7 months ago
A Distributed Real-Time MPEG Video Audio Player
Abstract. This paper presents the design, implementation and experimental analysis of a distributed, real-time MPEG video and audio player. The player is designed for use across th...
Shanwei Cen, Calton Pu, Richard Staehli, Crispin C...
122
Voted
DNA
2006
Springer
143views Bioinformatics» more  DNA 2006»
15 years 5 months ago
A Framework for Modeling DNA Based Molecular Systems
Recent successes in building large scale DNA nanostructures and in constructing DNA nanomechanical devices have inspired scientists to design more complex nanoscale systems. The de...
Sudheer Sahu, Bei Wang, John H. Reif
129
Voted
AAAI
1997
15 years 5 months ago
Navigation and Planning in a Mixed-Initiative User Interface
Mixed-initiative planning is one approach to building an intelligent decision-making environment. A mixedinitiative system shares decision-making responsibility with the user such...
Robert St. Amant