Sciweavers

11561 search results - page 416 / 2313
» Open Distributed Processing
Sort
View
ICCAD
1998
IEEE
95views Hardware» more  ICCAD 1998»
15 years 11 months ago
Control generation for embedded systems based on composition of modal processes
In traditional distributed embedded system designs, control information is often replicated across several processes and kept coherent by application-specific mechanisms. Conseque...
Pai H. Chou, Ken Hines, Kurt Partridge, Gaetano Bo...
210
Voted
ISORC
2007
IEEE
16 years 1 months ago
Device Modeling for a Flexible Embedded Systems Development Process
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
Kleanthis C. Thamboulidis, George S. Doukas, Giann...
ASAP
2003
IEEE
115views Hardware» more  ASAP 2003»
16 years 17 days ago
Context-Aware Process Networks
— In industry, embedded systems for stream-based processing are often modelled and verified by using process networks, such as Kahn process networks. An advantage of Kahn networ...
Hylke W. van Dijk, Henk J. Sips, Ed F. Deprettere
CONCUR
2003
Springer
16 years 15 days ago
Priority Rewrite Systems for OSOS Process Languages
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...
Irek Ulidowski
ADC
2000
Springer
146views Database» more  ADC 2000»
15 years 11 months ago
Handling Dynamic Schema Change in Process Models
Workflow technology has emerged as an appropriate platform for consolidating the distributed information resources of an enterprise, promoting interoperability across cross-platfo...
Shazia W. Sadiq