13101 search results - page 2374 / 2621 » The design and implementation of microdrivers |
175
click to vote
UIST
1996
ACM
15 years 11 months ago
1996
ACM
We describe COTERIE, a toolkit that provides languagelevel support for building distributed virtual environments. COTERIE is based on the distributed data-object paradigm for dist...
179
click to vote
RE
1997
Springer
15 years 11 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
168
click to vote
VLDB
1997
ACM
15 years 11 months ago
1997
ACM
In this paper we describe novel techniques that make it possible to build an industrial-strength tool for automating the choice of indexes in the physical design of a SQL database...
144
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
Abstract -- A general framework for synthesis of asynchronous control circuits at the state graph level is proposed. The framework can consider both concurrency reduction as well a...
186
click to vote
HPDC
1993
IEEE
15 years 11 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...