15840 search results - page 192 / 3168 » The Control of Synchronous Systems |
105
click to vote
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
Trends in parallel computing indicate that heterogeneous parallel computing will be one of the most widespread platforms for computation-intensive applications. A heterogeneous com...
85
Voted
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
ECSCW
1997
15 years 2 months ago
1997
The World Wide Web is increasingly seen as an attractive technology for the deployment and evaluation of groupware However the underlying architecture of the Web is inherently stat...
83
Voted
ENTCS
2006
15 years 21 days ago
2006
In addition to efficient code generation, causality cycles and schizophrenic statements are major problems for the compilation of synchronous programs. Although these problems are ...
119
Voted
CSCW
2012
ACM
13 years 8 months ago
2012
ACM
Photoshop with Friends is an online community of learners exchanging just-in-time help on graphic design tasks. The system attempts to provide an interactive, visual, context-awar...