Sciweavers

4356 search results - page 600 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
LCTRTS
2001
Springer
15 years 11 months ago
Embedded Control Systems Development with Giotto
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
187
Voted
MMMACNS
2001
Springer
15 years 11 months ago
Analyzing Separation of Duties in Petri Net Workflows
Abstract. With the rise of global networks like the Internet the importance of workflow systems is growing. However, security questions in such environments often only address secu...
Konstantin Knorr, Harald Weidner
ECAI
2000
Springer
15 years 11 months ago
A Knowledge-based Approach for Lifelike Gesture Animation
Abstract. The inclusion of additional modalities into the communicative behavior of virtual agents besides speech has moved into focus of human-computer interface researchers, as h...
Stefan Kopp, Ipke Wachsmuth
174
Voted
IPPS
1999
IEEE
15 years 11 months ago
Scalable Parallelization of Harmonic Balance Simulation
Abstract. A new approach to parallelizing harmonic balance simulation is presented. The technique leverages circuit substructure to expose potential parallelism in the form of a di...
David L. Rhodes, Apostolos Gerasoulis
IPPS
1999
IEEE
15 years 11 months ago
Implementation and Evaluation of MPI on an SMP Cluster
Abstract. An MPI library, called MPICH-PM/CLUMP, has been implemented on a cluster of SMPs. MPICH-PM/CLUMP realizes zero copy message passing between nodes while using one copy mes...
Toshiyuki Takahashi, Francis O'Carroll, Hiroshi Te...