Sciweavers

1724 search results - page 302 / 345
» Models for Concurrency
Sort
View
EUROMICRO
1999
IEEE
14 years 29 days ago
Software Synthesis for System Level Design Using Process Execution Trees
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen
ISSS
1996
IEEE
169views Hardware» more  ISSS 1996»
14 years 25 days ago
The Use of a Virtual Instruction Set for the Software Synthesis of HW/SW Embedded Systems
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
Alessandro Balboni, William Fornaciari, M. Vincenz...
ICSE
1997
IEEE-ACM
14 years 24 days ago
Analyzing Partially-Implemented Real-Time Systems
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
George S. Avrunin, James C. Corbett, Laura K. Dill...
CHI
1996
ACM
14 years 24 days ago
Using Small Screen Space More Efficiently
: This paper describes techniques for maximizing the efficient use of small screen space by combining delayed response with semi-transparency of control objects ("widgets"...
Tomonari Kamba, Shawn A. Elson, Terry Harpold, Tim...
VLDB
1997
ACM
99views Database» more  VLDB 1997»
14 years 24 days ago
Resource Scheduling in Enhanced Pay-Per-View Continuous Media Databases
The enhanced pay-per-view (EPPV) model for providing continuous-media-on-demand(CMOD) services associates with each continuous media clip a display frequency that dependson the cl...
Minos N. Garofalakis, Banu Özden, Abraham Sil...