Sciweavers

3495 search results - page 312 / 699
» On the random satisfiable process
Sort
View
SSDBM
1998
IEEE
101views Database» more  SSDBM 1998»
15 years 12 months ago
Specifications for Efficient Indexing in Spatiotemporal Databases
: A new issue that arises in modern applications involves the efficient manipulation of (static or moving) spatial objects, and the relationships among them. As a result, modern da...
Yannis Theodoridis, Timos K. Sellis, Apostolos Pap...
DAC
1997
ACM
15 years 12 months ago
Schedule Validation for Embedded Reactive Real-Time Systems
Task scheduling forreactive real time systems is a di cult problem due to tight constraints that the schedule must satisfy. A static priority scheme is proposed here that can be f...
Felice Balarin, Alberto L. Sangiovanni-Vincentelli
ICSM
1996
IEEE
15 years 11 months ago
A Design Environment for Migrating Relational to Object Oriented Database Systems
: Object-oriented technology has become mature enough to satisfy many new requirements coming from areas like computer-aided design (CAD), computer-integrated manufacturing (CIM), ...
Jens H. Jahnke, Wilhelm Schäfer, Albert Z&uum...
HPDC
1994
IEEE
15 years 11 months ago
Design and Implementation of Parallel Algorithms for Gene-Finding
Finding genes unequivocally in DNA sequences is one of the key goals of the Human Genome project. The human genome is a 9 billion character long DNA sequence and is estimated to c...
James Puthukattukaran, Suresh Chalasani, Periannan...
DAC
1994
ACM
15 years 11 months ago
Technology Mapping Using Fuzzy Logic
- This paper presents a placement-driven technology mapping procedure based on fuzzy delay curves. The fuzziness has been introduced to deal with the inherent vagueness in wiring l...
Sasan Iman, Massoud Pedram, Kamal Chaudhary