4151 search results - page 688 / 831 » Language Driven System Design |
CONCURRENCY
2008
15 years 2 months ago
2008
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
TSE
2008
15 years 2 months ago
2008
The Unified Modeling Language (UML) is the de facto standard for object-oriented software analysis and design modeling. However, few empirical studies exist which investigate the c...
134
click to vote
CHI
2011
ACM
14 years 6 months ago
2011
ACM
Many people read online reviews written by other users to learn more about a product or venue. However, the overwhelming amount of user-generated reviews and variance in length, d...
165
click to vote
HOST
2011
IEEE
14 years 2 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
119
Voted
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
A large number of user requests execute (often concurrently) within a server system. A single request may exhibit fluctuating hardware characteristics (such as instruction comple...