7103 search results - page 1031 / 1421 » Program Generation and Components |
156
click to vote
EUROMICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
129
Voted
HICSS
2000
IEEE
15 years 9 months ago
2000
IEEE
With the recent trend towards deregulating power systems around the world, transfer capability computation emerges as the key issue to a smoothly running power market with multipl...
120
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
4-D/RCS is the reference model architecture currently being developed for the Demo III Experimental Unmanned Vehicle program. 4-D/RCS integrates the NIST (National Institute of St...
129
Voted
LICS
2000
IEEE
15 years 9 months ago
2000
IEEE
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...
147
click to vote
SIGCSE
2000
ACM
15 years 9 months ago
2000
ACM
Undergraduates are usually introduced to synchronization in operating systems through a discussion of classical problems such as reader-writer or producers-consumers. The traditio...