Sciweavers

4463 search results - page 799 / 893
» computing 2000
Sort
View
101
Voted
EWC
2000
90views more  EWC 2000»
15 years 14 days ago
Function in Device Representation
We explore the meanings of the terms as "structure," "behavior," and, especially, "function" in engineering practice. Computers provide great help in...
B. Chandrasekaran, John R. Josephson
94
Voted
EWC
2000
94views more  EWC 2000»
15 years 14 days ago
A Model for the Flow of Design Information in Product Development
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
Steven B. Shooter, Walid Keirouz, Simon Szykman, S...
82
Voted
FAC
2000
94views more  FAC 2000»
15 years 14 days ago
Maximally Concurrent Programs
Typically, program design involves constructing a program P that implements a given specification S; that is, the set P of executions of P is a subset of the set S of executions s...
Rajeev Joshi, Jayadev Misra
FGCS
2000
81views more  FGCS 2000»
15 years 14 days ago
Managing the operator ordering problem in parallel databases
This paper focuses on parallel query optimization. We consider the operator problem and introduce a new class of execution strategies called Linear-Oriented Bushy Trees (LBTs). Co...
Harald Kosch
83
Voted
FUIN
2000
71views more  FUIN 2000»
15 years 14 days ago
The Nondeterministic Information Logic NIL is PSPACE-complete
The nondeterministic information logic NIL has been introduced by Orlowska and Pawlak in 1984 as a logic for reasoning about total information systems with the similarity, the forw...
Stéphane Demri