7189 search results - page 1340 / 1438 » Connecting Design with Code |
156
click to vote
ICS
2007
Tsinghua U.
15 years 9 months ago
2007
Tsinghua U.
Grid Workflows are emerging as practical programming models for solving large e-scientific problems on the Grid. However, it is typically assumed that the workflow components eith...
163
click to vote
IWIC
2007
Springer
15 years 9 months ago
2007
Springer
The Internet has already connected people and established a mature online community. The use of WWW is also in the main stream of disseminating one’s information and services. In...
123
click to vote
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— Flow control, including congestion control for data transmission, and rate control for multimedia streaming, is an important issue in information transmission in both wireline ...
140
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Models of simulation program with integrated circuit emphasis (SPICE) are currently playing a central role in the connection between circuit design and chip fabrication communitie...
135
click to vote
SEFM
2006
IEEE
15 years 9 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...