Sciweavers

1015 search results - page 170 / 203
» Syntactic Control of Concurrency
Sort
View
ISSS
2002
IEEE
103views Hardware» more  ISSS 2002»
15 years 2 months ago
A Symbolic Approach for the Combined Solution of Scheduling and Allocation
Scheduling is widely recognized as a very important step in highlevel synthesis. Nevertheless, it is usually done without taking into account the effects on the actual hardware im...
Luciano Lavagno, Mihai T. Lazarescu, Stefano Quer,...
ECOOP
2010
Springer
15 years 2 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...
ER
2001
Springer
170views Database» more  ER 2001»
15 years 2 months ago
XDoC-WFMS: A Framework for Document Centric Workflow Management System
Document Management is an important component of a workflow management system. XML has become a prominent language for document processing and management, and has an additional adv...
Rupa Krishnan, Lalitha Munaga, Kamalakar Karlapale...
ICSE
2001
IEEE-ACM
15 years 2 months ago
State, Event, Time and Diagram in System Modeling
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
Jin Song Dong
MDM
2001
Springer
15 years 2 months ago
Quasi-consistency and Caching with Broadcast Disks
The challenges ensuing from the asymmetric communication capabilities of mobile environments have led to an increased interest in broadcast-based data dissemination. Among the conc...
Rashmi Srinivasa, Sang Hyuk Son