9110 search results - page 1566 / 1822 » Formally-Based Design Evaluation |
132
click to vote
CONCURRENCY
1998
15 years 4 months ago
1998
This paper presents our experience developing applications in Jade, a portable, implicitly parallel programming language designed for exploiting task-level concurrency. Jade progr...
158
click to vote
INTERNET
2002
15 years 4 months ago
2002
Despite recent excitement generated by the peer-to-peer (P2P) paradigm and the surprisingly rapid deployment of some P2P applications, there are few quantitative evaluations of P2...
113
click to vote
SIGMETRICS
2002
ACM
15 years 4 months ago
2002
ACM
While many application service providers have proposed using thin-client computing to deliver computational services over the Internet, little work has been done to evaluate the e...
129
click to vote
TVLSI
2002
15 years 4 months ago
2002
Abstract--The design of high integrity, area efficient power distribution grids has become of practical importance as the portion of on-chip interconnect resources dedicated to pow...
164
click to vote
PVLDB
2008
15 years 3 months ago
2008
Supporting graceful schema evolution represents an unsolved problem for traditional information systems that is further exacerbated in web information systems, such as Wikipedia a...