1784 search results - page 336 / 357 » Formal Models for Embedded System Design |
151
Voted
GSEM
2004
Springer
15 years 7 months ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
159
Voted
ECRTS
2007
IEEE
15 years 8 months ago
2007
IEEE
Of late, there has been a considerable interest in models, algorithms and methodologies specifically targeted towards designing hardware and software for streaming applications. ...
116
click to vote
CCGRID
2010
IEEE
15 years 2 months ago
2010
IEEE
Markets of computing resources typically consist of a cluster (or a multi-cluster) and jobs that arrive over time and request computing resources in exchange for payment. In this p...
125
Voted
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Service-oriented systems are becoming more and more nodes in a digital, dynamic ecosystem requiring the identification and establishment of flexible, spontaneous collaboration act...
121
Voted
ICDCS
1995
IEEE
15 years 5 months ago
1995
IEEE
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...