Sciweavers

1206 search results - page 212 / 242
» Concurrent Abstract Predicates
Sort
View
112
Voted
DBKDA
2010
IEEE
137views Database» more  DBKDA 2010»
15 years 5 months ago
Optimistic Synchronization of Cooperative XML Authoring Using Tunable Transaction Boundaries
Abstract—Design applications, e.g., CAD or media production, often require multiple users to work cooperatively on shared data, e.g., XML documents. Using explicit transactions i...
Francis Gropengießer, Kai-Uwe Sattler
77
Voted
PLDI
2010
ACM
15 years 5 months ago
Bamboo: a data-centric, object-oriented approach to many-core software
Traditional data-oriented programming languages such as dataflow s and stream languages provide a natural abstraction for parallel programming. In these languages, a developer fo...
Jin Zhou, Brian Demsky
DATE
2002
IEEE
123views Hardware» more  DATE 2002»
15 years 5 months ago
False Path Elimination in Quasi-Static Scheduling
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
G. Arrigoni, L. Duchini, Claudio Passerone, Lucian...
95
Voted
ICRA
2002
IEEE
84views Robotics» more  ICRA 2002»
15 years 5 months ago
Queueing Network Modeling and Lead Time Compression of Electronic Procurement
Abstract- Procurement, i.e., the process of obtaining materials or services and managing their inflow into organizations, is a critical process in supply chain management. Internet...
C. V. L. Raju, Y. Narahari
87
Voted
ECOOP
2010
Springer
15 years 5 months ago
Type-Safe Eventful Sessions in Java
Event-driven programming is a major paradigm in concurrent and communication-based programming, and a widely adopted approach to building scalable high-concurrency servers. However...
Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, No...