Sciweavers

640 search results - page 69 / 128
» Knowledge-Based Automation of a Design Method for Concurrent...
Sort
View
CASCON
1996
114views Education» more  CASCON 1996»
13 years 10 months ago
Modeling on-line rebalancing with priorities and executing on parallel database systems
Because changes to the database (DB) and workload occur during a DB system's lifetime, the physical DB design must evolve to sustain good performance. These changes are carri...
Daniel C. Zilio
HICSS
1997
IEEE
109views Biometrics» more  HICSS 1997»
14 years 28 days ago
Performance Evaluation of a C++ Library Based Multithreaded System
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...
John G. Holm, Steven Parkes, Prithviraj Banerjee
MEMOCODE
2008
IEEE
14 years 3 months ago
Virtual prototyping AADL architectures in a polychronous model of computation
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
Ma Yue, Jean-Pierre Talpin, Thierry Gautier
ICLP
1999
Springer
14 years 1 months ago
Logic Programming in Oz with Mozart
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
Peter Van Roy
EKAW
1992
Springer
14 years 24 days ago
eQuality: An Application of DDucks to Process Management
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...
Jeffrey Bradshaw, Peter Holm, Oscar Kipersztok, Th...